2014-01-09: use (1+ x) instead of (+ 1 x)

use (1+ x) instead of (+ 1 x)

diff --git a/examples/tinyenc.w b/examples/tinyenc.w
--- a/examples/tinyenc.w
+++ b/examples/tinyenc.w
@@ -114,4 +114,4 @@ define : testdecrypt
 let loop : : step 0
     when : < step 100000 ; 10^5
        testdecrypt
-       loop : + 1 step
+       loop : 1+ step