Separated abstraction from lambda calculus