--  ^- this is to keep the unchanged rule

addGlobalContext :: SimpleRule -> (Category, Style) -> SimpleRule
addGlobalContext (t,c,s) (gC,gS) = (t,c `intersect` gC, s <+ gS)
addGlobalContext :: SimpleRule -> (Category, Style) -> SimpleRule
addGlobalContext (t,c,s) (gC,gS) = (t,c `intersect` gC, s <+ gS)
addGlobalContext (t,c,s) (gC,gS) = (t,c `intersect` gC, s <+ gS)