moves Types and Annots to the top-level
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

Dveim/scalameta,MasseGuillaume/scalameta,xeno-by/scalameta,xeno-by/scalameta,MasseGuillaume/scalameta,scalameta/scalameta,olafurpg/scalameta,MasseGuillaume/scalameta,scalameta/scalameta,scalameta/scalameta,DavidDudson/scalameta,xeno-by/scalameta,scalameta/scalameta,olafurpg/scalameta,DavidDudson/scalameta,olafurpg/scalameta,scalameta/scalameta