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