Added SparseArray as an abstraction over strict maps
Introduced SparseArray as a new SynelValue type to support sparse arrays of arbitrary dimensions
Improved SPS validation
Removed storage type from synel semantics