Updated documentation, added missing 'annotate' cases.
Fixed pretty-printer for AtIndex qualifiers.