show builtins correctly
fix lambdas in tail position