move mult_expr helper function to bottom of file
ref_type returns type or "undefined"
additive type checker checks if two types are compatible for adding/subtracting
multiplicative_type returns tuple. begin additive_type stuff
modify self defined exceptions
relatonal_expr type checker implemented
additive_expr returns code and type
relational_expr returns tuple: code and type
equality expression type checker helper