let remove n =      
  s.symtab <- Symtab.remove n s.symtab