In typeCheck() (the incomplete hand-rolled checker), implemented the cases for Sigma types.