Type substitution in the source tree.