working examples of Simple reification

- Added RConst