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

This reverts commit a162bd4494b8e2e154063dc85c83997a43e1b2e1.