beginning of type checking for compiler
added compiler matching for integer arithmetic