Reification now works with the new IR that uses type and self parameters.
Review by @vjovanov