Tests for the length method of HLists
Fix in Length implicits

- Makes HNil.length compiles
- Adds HNil.length to the tests
Added method .toSized[M] to HList + tests
Added method .toHList to SizedOps + tests
Changed/fixed unify implementation (now calls toSized[List].toHList) + tests