Adding class annotations.

  - These have the form:

    /*@ class A[<V1,V2,...>] [extends B[<T1,T2,...>]] */

  - If the user does not specify an annotation, then annotations based on
    the types used in TS will be used.