added varType to Variable class and updated Typecheck.g