metamodel #226: check the applied type arguments so we don't pass bullshit type args
metamodel #226: test invalid applications