Merge pull request #12 from joriscode/master

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