examples: ast model
analysis: give error on duplicate member names in different namespaces (try 1)
analysis: give error on duplicate member names in different namespaces (try 2: show error on attribute if there is role)
analysis: give error on duplicate member names in different namespaces (try 3: some examples work, some give stack trace)
analysis: give error on duplicate member names in different namespaces (try 3: fix stack trace)
fix testcases
fix testcases
analysis: give error on duplicate member names in different namespaces (try 5: cleanup constructor calls)
analysis: give error on duplicate member names in different namespaces (try 6: fully nabl based)
todos
fix bug when executing program without model section
refactoring: move shortcut helper types to NaBLHelp constructor
refactoring: split refactorings in different files
refactoring: rename desugarings and change traversals
analysis: give error on non existing role type + fix testcases
analysis: give error on non existing role type (remove unneeded Ext constructor)
analysis: give error on non existing role type (reverse order of use and def of names)
fix origins in desugaring + show origins debug editor builder
analysis: give error on duplicate member names in different namespaces (try 6: fully nabl based)
fix origins in desugaring