Add an example for System F
Improve test.sfw