DSL for λ calculus