enhance occur check to deal with normalizable TyFuns in 'mguB' and 'mguStar'; code review welcome...
enhance occur check to deal with normalizable TyFuns in 'mguB' and 'mguStar'; code review welcome...
minad/omega,cartazio/omega