metamodel #226: added reified type argument checks
metamodel #226: fixed a few bugs
metamodel #226: added default type arguments