Semantics implemented

Implemented the structures of SMULC, including evaluation.
Parsing remains.