typeIDs : 0 = byte, 1 = short, 2 = int, 3 = long, 4 = float, 5 = double, 6 = boolean, 7 = char, 8 = string, 9 = spanlike, 10 = span, 11 = Grapheme.
This class helps overcome the limitation of scala's implicit resolution -- by resolving an expression
system's type parameter S
.