procedural.scm: Stylistic fixes.
README additions and fix.