In substitutions, lazyly refresh the codomain of the univar map

[strub]

This map is allowed to do name capture and is hence sensitive to bound variables renaming.