Changes in unify

- More tests
- Changes in Unify implicits so that new tests pass (uses ToSized and Sized's ToHList)