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

Warning: curry is left for future task.
Review by @vjovanov