Fix the equalities emmited by |-skolapats

Most of the equalities are between polytypes (sigmas) and alphas, when in fact, they should be between monotypes (taus) and alphas!