tiny fixes

- make my own real policies to disallow a trailing dot
- add more folding
- remove trailing semicolons