- Generalized predicate substitute/3 and moved its general version to
  its own module.

- Added family of predicates expand_body/replace_body, that applies
  term replacements only to the body.

- Fixed get_term_info.