guide: Still more edits, clarity improvements, example fixes, etc.

Additionally, document $def{ine,cond}