Fixes variance of =*= (invariant) and adds reflexivity materializer.
Adds initial version of vector test case.
Package structure reorganization.
Better support for arithmetic operations, type-level numeric comparison operators and an improved vector test.