Started to work on UTLC, can't implement eval for it :-(