Add a UTLC as church
Add output from lambda calculus