Simple subrule demo.
Added code for generating the substitutions for dynamic backward inference. The substitutions are built, but not yet used (pending testing.)