Completed referred types to transform a program tree.