types -> tt (types theory)
Adding std service function to untyped-lambda-calculus