Add a bunch of recursive type metadata.