evaluate metafunctions based on untyped lambda calculus