[add multiplication example IOs
Helmut Grohne <grohne@cs.uni-bonn.de>**20150415151210
 Ignore-this: e00cc3f970a9010048d69d8bd9ec4636
 
 Despite claims that igor2 cannot generate a multiplication function, it can do
 so when enabling accum within 70000 loops.
] hunk ./expl/Examples.hs 1754
+
+mult :: Nat -> Nat -> Nat
+mult Z         Z         = Z
+mult Z       (S Z)       = Z
+mult Z     (S (S Z))     = Z
+mult Z   (S (S (S Z)))   = Z
+mult (S Z)       Z       = Z
+mult (S Z)     (S Z)     = S Z
+mult (S Z)   (S (S Z))   = S (S Z)
+mult (S Z) (S (S (S Z))) = S (S (S Z))
+mult (S (S Z))     Z     = Z
+mult (S (S Z))   (S Z)   = S (S Z)
+mult (S (S Z)) (S (S Z)) = S (S (S (S Z)))
+mult (S (S (S Z)))   Z   = Z
+mult (S (S (S Z))) (S Z) = S (S (S Z))