Fixed the function sub-image?; necessary reorganization of the code
Matrices protocol and one exemplar implementation

* This solution can help us to avoid a lot of type checking.
Some corrections on the definition and implementation of the protocol
Protocol's map implementation to extend-protocol to avoid reflections

* Using the generic implementation with maps don't avoid reflections.