thus Constructors = ([:{a_Type },[:QuasiLoci ,NAT :]:] \/ [:{an_Adj },[:QuasiLoci ,NAT :]:]) \/ Funcs
.= [:({a_Type } \/ {an_Adj }),[:QuasiLoci ,NAT :]:] \/ Funcs by ZFMISC_1:120
.= [:{a_Type ,an_Adj },[:QuasiLoci ,NAT :]:] \/ Funcs by ENUMSET1:41
.= [:({a_Type ,an_Adj } \/ {a_Term }),[:QuasiLoci ,NAT :]:] by ZFMISC_1:120
.= [:{a_Type ,an_Adj ,a_Term },[:QuasiLoci ,NAT :]:] by ENUMSET1:43 ; :: thesis: verum