Did a bit of work on tyvar inlining
Some work on refining
Recursive type inlining with type variables

Address #7.
Revert python exec name
Merge pull request #10 from SimonJF/rec-types-unfold

Inline recursive types with type arguments