Defined the knot.
Defined the slug.
Defined jerk.
Change sum to be defined in terms of generalized foldr.
Added a function to compute arithmetic mean of quantities.
Removed noisy type signatures from local functions in definition of mean.
Added basic conversion to term-level dimension.
Changed show instance to be defined in terms of Dimension'.
Clarified names. Separated values that can be computed once per dimension.
Added type signature for knot.
Merge pull request #12 from dmcclean/new-dimensions

Define knot, slug, and jerk
Merge pull request #14 from dmcclean/term-level-dimensions

Term level dimensions
Constructor Dimensions' -> Dim'.
Simplify type of toSIBasis.
getSIBasis :: Dimensional v d a -> Dimension'
Manual merge
Less noisy mean.
Trivial type family instances.
Cosmetic edits.
ToSIBasis class (might deserve a rename).