Fix bug with lambdas in Uneval
Make R into a transformer and support catching errors
Explicit type annotations
Use Reader in simplifier and fix telescope bug
New repl
Update cabal file