TyInf: introduce \les relation (more liberal on schemes but still stable)
TyInf: introduce \les relation (more liberal on schemes but still stable)
kwangkim/pigment,kwangkim/pigment,brixen/Epigram,kwangkim/pigment