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