Improve docstring of substitutableSubpattern.substituteInto()