Add mk-type function for class creation
for now the bases tuple is used only for antecedent computation...