Changes in unify

- More tests
- Changes in Unify implicits so that new tests pass (uses ToSized and Sized's ToHList)
Test of .toHList on an empty Sized