cleanup of SubstitutionProbability. Addition of SubstitutionPredictor, which
does half of what the Substitutor currently does, but more cleanly.
refactor SubstitutionPredictorTransformation to use SubstitutionPredictor
instead of Substitutor
minor changes to substitutor for compatibility with modified
SubstitutionProbability