Off the top of my head
1. XType belongs in another context.
In that other context, you can call it X.
2. X ismem Class; Class isu set;
is a way of integrating that other context into the existing context.
Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://mKRmKE.org/