test code for new issues
syntactic changes
transTau can return a Sigma because of type aliases
Application of forall types to type aliases will not be allowed at this time
new example featuring fibonacci numbers
remove non-compiling examples
2 comments to doc
accept forall/RhoFun aliases
make sure nothing is bound in expansion of no-forall type aliases
means to run only a part of the compiler - mainDebug
actually allow forall types in type aliases
reconstruct sigmas and rhos with sigmas returned from transTau
Liberalize type synonyms a bit, as requesten in Issue#21

You can write a forall (including overloading) in a type synonym,
thus for example:

   type Discard a = forall b. Show b => a -> b -> (a, String)

In contrast to Haskell, you cannot apply a type synonym to a forall type.
Also, partially applied type synonyms are not possible.

See tests/comp/Issue21.fr