Testing for exceptions and record seemed pretty unnecessary since we test for generic modules. The test for exceptions was failing because exceptions always have functions now.

If you still think these tests are useful I will add them back.