Fixing issue #23
- Creating notation, nodes, and type checking for "@=" (referential
semantics)
- Creating tests for referential semantics