Fix semantics for substring
Simpler values for enumeration, externalised special values to disambiguation.
Removed the previous reference to leon.lang.string
Removed unused and redundant code.