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