added missing const decl - thank you Checker ;-)
Added check for untyped VariableExps - 34 :-(
fixed src file access after initial model loading
created Environment class
remember to remove string operator in MatchExp
added __repr__ to Environment
cleaned up SM Visitors
started intro. of environment in Visitor/Checker