Type checker for a subset of Java for CS132