Refactoring: Option remove from reify
Refactoring: getSelf added
Refactoring: not used case remove. Most of them corresponded to base case...
IR TArgsZ takes two types
Files cleaned for Pull Request