name of Builder.substitute
The method name Builder.substitute
may give an impression that the parameter name substitutions are done in-place. Instead this operation returns a copy (as it probably should).
We should consider if there is a less ambiguous name before %Kwant 1.4.