Add FIXMEs for typeloc visitors in SemaType
Fix printing of annotated types
Remove attr_annotate

No longer needed: we don't produce an AttributedType; just a new kind of
desugarable type.