let type_kind = Gram.Entry.mk "type_kind"