Added check that type of expression bound to function matches last type in that function's type signature
Fixed a gold standard for one of my tests; added test checking type of expression bound to function against type signature for that function