Merge branch 'tfp1'.

Fixes #8. Can now use monomorphic saturated type constructors (and
more).

Fixes #9. Type signatures can be used.

Fixes #14. Arity information of functions is now propertly maintained.

Fixes #16. Redundant known-cases are properly removed.