with/out-K (some modules might break)
FunUniverse: various changes
+TwoLang: many inputs one output
Nand: all computations based on nands
Nand.Properties: proving adequacy of the nand based operations automatically using exploration functions