Eliminado uso de existential typeclasses para simular polimorfismo.

Siguiendo consejo de
http://lukepalmer.wordpress.com/2010/01/24/haskell-antipattern-existential-typeclass/
experimentos
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