Old port of dimensional-vectors using Type Families. Current stalled.