relatively tiny documentation changes

Spec/vere/stage.txt

@@ -1,31 +0,0 @@
-To stage down from X to Y == (X - 1), steps:
-
-  Clean hoon parts:
-
-    - cp -r lib/X lib/Y
-    - select kernel name in Y:
-        hoon.hoon (regular)
-        tram.hoon (genetically incompatible with stage X)
-        test.hoon (barebones testing)
-
-    - rm lib/Y/hoon.pill
-    - git add lib/Y/*.hoon
-    - git add lib/Y/arvo/*.hoon
-    - update stage number in lib/Y/hoon.hoon
-
-  Ugly jet parts:
-
-    - make clean; cp -r genX to genY;
-    - git add genY/*.c genY/*.h genY/*/*.c 
-    - update genY/pit.h  (7 subs)
-    - add genY/ofiles in Makefile 
-    - link j2_da drivers in v/main.c
-    - (optional) trim old stages
-      - update FirstKernel in include/v/vere.h
-      - update Pt* in f/coal.c (5 subs) and f/trac.c (2 subs)
-      - remove .o files from Makefile
-
-  Convenient symlinks:
-    - kernel letter L is `@ta`(add 'a' (sub 25 (mod (add 8 Y) 26)))
-    - ln -s C/sys/Y sL
-    - ln -s genY kL

doc/atoms.txt

@@ -7,6 +7,13 @@ Many of these named types can be invoked in batz with `@type`. For example:
 21
 ~sovreb-padlev/try=> `@p`21
 ~peg
+~sovreb-padlev/try=> `@if`432.542.653.543
+.181.141.28.103
+
+Notice that Integers are seperated with a decimal point between every three
+digits, the German syntax.
+
+
 
 Name   Definition     Example as printed             Comment
 -------------------------------------------------------------------------------