No more typedefs. Fixes #144.
Clarify comments.
Redundant identifier is redundant.
lint
Merge pull request #145 from eggrobin/no-typedef

No more typedefs.
After pleroy's review.
merge conflict
more merge conflicts
Merge pull request #146 from eggrobin/frame-basis-pair

Frame basis pair
Add named vector and point quantities.
Merge branch 'master' into named-vectors-and-points
Spacetime points, Velocities.
lint
aoseuaeu
aoeuaoeu
Dates.
also the implementation.
After pleroy's review.
Merge pull request #147 from eggrobin/named-vectors-and-points

Named vectors and points