TyInf: initial changes to sec 6 (lots more to come) - simplify orthogonality relation
TyInf: initial changes to sec 6 (lots more to come) - simplify orthogonality relation
kwangkim/pigment,kwangkim/pigment,kwangkim/pigment,brixen/Epigram