let class_type = Gram.Entry.mk "class_type"