Added type checking to the interpreter.