Began implementation of match stmt typechecking