Concept satisfaction checker implemented

The function 'Class_table.satisfies' checks if a tp satisfies a
certain concept.

This function is used e.g. to check that all actual generics of a
type satisfy the corresponding concept.

	modified:   ocaml/class_table.ml