Changed/fixed unify implementation (now calls toSized[List].toHList) + tests