adding a basic type checker to the interpreter