for C being initialized ConstructorSignature
for T being quasi-type of C holds varcl (vars T) = vars T ;