Module eval
minitt
Reduction: eval and eval's friends.
Functions in this module are put into impl blocks, their docs can be found in:
impl
Pattern
Value
Telescope
Closure
Expression
Depends on module syntax.
syntax