Implement reification
Merge pull request #17 from mcheshkov/reify

Implement reification