WIP - trying to generate type bodies.