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
Possibly fixes #11.

It looked suspicious, so I put the prime, and it seems to work. I really
have no clue. Someone with a clue should have a look whether this makes sense.
Merge pull request #12 from fehrenbach/fix-11

Possibly fixes #11.
Update documentation to reflect changed flexible type variable syntax.

closes #14
email formlet that talks to an SMTP server
Print offending field name on unification failure.