Add an example of pattern matching in variants.sfw
Disallow to use --lto with -c
Abstract over names
Abstract over type names
Allow the module syntax (doesn't support modules yet): « M.M.x »

This brings a major syntactic change: « λX.λx:X.x » => « λX -> λ(x:X) -> x » and « forall X. λY. X » => « forall X, λY, X »
Add the example: simple.sfw
Add a shell script that checks if all the examples compile
Begin Pattern.create
Merge branch 'master' into backends