reworked type modifiers syntax
added testcases for type modifiers
[note: broken code generation, but commit and push for other team member
to work on this]