let typ nl c =
  let e = Symtab.Type(c) in
    List.iter
      (fun n ->
         s.symtab <- Symtab.add n e s.symtab)
      nl