Replaced single scope with a stack.
Moved to a better scope object.
Add -> for upcoming functions.
Add tests for mapsto.
Rearrange what is considered an expression.