parameterize quanta in [N: Field: Order: Eq].  driven by wanting 'H :* bit' for any H of appropriate type.  incomplete
upgrade to spire 0.8.2
abstractAlgebraPlottable now requires MetricSpace for portion