Added dpj functionality
* substitution on effects and on effect sets
* nonInterference over a set of effect sets (removes the need to manually create,
  for each effect set, the union of the effect sets we want it not to interfere
  with).

Added exampl3b which is identical to example3 but uses effect substitution
instead of duplicate RPL substitution predicates.
Merge branch 'master' of github.com:dpj/DPJizer

Conflicts:
	prolog/example2.pl
	prolog/example3.pl
Changing order of region names