contextual substitutions in RTac/Core

- This also redefines the interface for SubstUpdate to remove
  forget and strengthen.
porting the basic tactics.