conseguido modelar la dependencia funcional entre Dimension y DimensionIx con TypeFamilies. funciona\!
Store y Dimension Typeables para poder tratarlas polimorifcamente
..
incorporando unidades a los stores y sources
fuera binario