Starting conversion to type system
Implemented = and & operators