let class_type_plus = Gram.Entry.mk "class_type_plus"