Presently, annotateTypeLater needs to operate on a type that has been attributed, so that it can correctly generate type paths. However, attribType requires that annotation types have been attributed, which creates a cyclic dependency.

This causes two problems: first, it requires that all annotation handling be deferred. Second, it requires that attribType and annotateTypeLater for a given type be close to eachother, and contained within enterStart/enterDone.

If possible, this dependency should be removed.