export tlambda and tdefun