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)