Comments and TODO added to the TypePropagatingSubstitution. Expect major refactoring soon.