Pull request/88336546

A multiparameter typeclass implementation; working but not yet polished.  One way to deal with definitions that are useful in mathematical code, especially algebraic objects and categories.