let def n a =
  let e = Symtab.Def(a) in
    s.symtab <- Symtab.add n e s.symtab