Refactor of Semantic Environment

Renamed variable to give better meaning to code.
Refactor of type check in ExpressionVisitor

Removed bugs (LEq has Numeric left and right!)
Extracted is instance of to a method.