removes Tree.annots, Type.tycon and Type.args

still think it's a bad idea, but let's gather more evidence if current
evidence is not enough