let is_type data atype =
    let lookup = try String.sub atype 0 (String.index atype '['with
        | Not_found -> atype in
    StringSet.mem lookup data.known