5.5.0

Added override methods to VariableSubstitution that have covariant return types. For example, this class' ApplyTo(Predicate) method now returns a Predicate, not a Sentence. The only type that this transformation potentially mutates is VariableReference, and there's no particular reason not to have its method signatures reflect that. Might save callers a cast or two.