Type is now HasAnnots

This is done to decrease the number of type weirdos people have to think about.
I think it also might be useful to do the same for terms.

Btw the more I think of it, the more I realize that instead of having
dedicated trees for Tree.Annotate and Type.Annotate, we can simply have
annots on all terms and all types.