Derive spire typeclasses for Quantity

[zainab-ali]

Use an approach similar to numeric-vc to derive typeclasses.

Note that this cannot work for multiplication, since the quantity type outputted is different.

EDIT: I realize that I don't actually mean this, since numeric-vc is meant for deriving all kinds of typeclass instances given a base AnyVal. What I actually want is derived spire typeclasses instances, given that A has a typeclass instance.
e.g. If A has an AdditiveSemigroup, then an AdditiveSemigroup[Quantity[A, D]] can be derived.

This is difficult because the quantities' dimensions are ordered, and an AdditiveSemigroup won't work on types which aren't exactly the same.

[zainab-ali]

The following typeclasses can be derived:

• Module
• Eq
• Order
• PartialOrder
• Signed

Groups

• AdditiveGroup
• AdditiveSemigroup
• AdditiveMonoid
• AdditiveCommutativeGroup
• AdditiveCommutativeMonoid
• AdditiveCommutativeSemigroup

Spaces

• MetricSpace
• CoordinateSpace
• VectorSpace
• InnerproductSpace

[zainab-ali]

It might be possible to get around the quantity equivalence problem with implicit conversions from one quantity to another.

See here for an example.

[zainab-ali]

Typeclasses have now been added.
Quantity equivalence will be tackled in #24