- Recovered previous goal_cw, which uses prolog_codewalk to infer changes,
  because it works with meta predicates>0.

- Fixed problem when the subterm position is 0-0

- Added ref_expand to the recordable commands in refactor.pl