Big proof-read of policy docs, moved all examples into separate source files, and made sure they compile etc.