Check the type of a proof matches the type of the goal!