moves Types and Annots to the top-level

I'd love to factor them out into separate files, but since we heavily
rely on sealedness, that's not going to happen