* Added support for a predicate test. Currently, this requires the tutor to define a goal called [pred] in the field for helper functions. Maybe the name should be user-definable. * Refactored some of the Semantic Check code.