Transform SPEC into a function that can be called. SPEC is a predicate specifier that contains stuff like `or', `and', `not', lists and functions. The functions all take one parameter.