aq = of type (verb) : | Subject is of type (a subset of) object | aq (set) (set that is a subset)
baq = become (verb) : | To become the type of | baq (type become) (nounoid becoming of type)