simple tests about type instances were added
attribute parameters was renamed to `parameter`_inh and `parameter`_syn
Merge branch 'master' into metaclasses
for now catamorphism function generating is wrong for type instances
Generating of metaclasses and deriving from it ordinary
classes seems to be correct. Some tests was added about it,
but generic catamorphism function generation is still
incorrect for type instances.
code generating catamorphism functions and gt_records was extracted as a separate function
metacatamorphism can be derived from type type definition now