TyInf: make more sense of specialisation, standardise notation for substitution
TyInf: make more sense of specialisation, standardise notation for substitution
kwangkim/pigment,kwangkim/pigment,kwangkim/pigment,brixen/Epigram