Implemented if/else if/else block typechecking