Referenced ExtCore so it's Substring type and module can be used to implement the Standard ML Substring module.