Add Len type family and reorder declarations
Add type function for homogeneous list
Sane ineroperability with homogeneous vectors
Move definition of homInspect/Construct to Class module

Add instance for fixe vectors