Add IRecursiveType implementation to codegen.
Implement IRecursiveParent<T> -- mostly.