intersection type metamodel tests