System F1

Type system F1 simply implemented