First version of eval using Nisse's Partiality Monad
Delay monad using sized coinductive records and copatterns.
Evaluation using sized delay monad.