Fix handling of defType
Add monitors to codegen with fields. Corrections.
Major corrections to field handling in codegen
Make extra arg. in FunDef obligatory to fix bugs