Improved magma/semigroup/dep pairs

Universe polymorphism!