* 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.

Added a permutation test. It treats two results as equal if they are lists and only differ in the order of their elements, i. e. if one result is just a permutation of the other.