The start of customizable reification.
working examples of Simple reification

- Added RConst
support for lambda and variables.
enough to support implication in patterns.
support for pi
changing notation b/c Coq has a problem with :'s

- Adding support for RHasType
added printing & split Reify Pattern rules.
Some minor reorganization.
fixing paths, starting tables.
now with support for backtracking.
support for persistence and backtracking.
removing some printing.
adding a demo/test case for persistence.