fixed example in docs (existing example wasn't proving anything)
added docs on && short-circuiting, alongside || one
misc typos in docs

Conflicts:
	src/spec/doc/core-operators.adoc
misc typos in docs
whitespace and alignment in docs
grammar and minor whitespace fixes to the program structure chapter
fixed bad spelling of "thoroughly" throughout the docs
misc fixes to traits docs