untype :: TClass -> Clas
untype = classMapExprs untypeFeat untypeClause untypeConstant
untype :: TClass -> Clas
untype = classMapExprs untypeFeat untypeClause untypeConstant
untype = classMapExprs untypeFeat untypeClause untypeConstant