UnLambda: abstract
UnLambda: instantiate, substitute