Reification works with the new IR that uses type and self parameters.
Warning: curry is left for future task.
Review by @vjovanov
(rebased on source/master)
Merge pull request #12 from joriscode/master

Reification works with the new IR that uses type and self parameters.