Various infrastructure changes in preparataion for kind checking classes
Added a kind checking form of Class, similar to DataCheck
Up to latest master.
Adapt to new Module field