let
abs tenv =
symbol tenv (
TName
"abs"
)