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