Formatting fixes.
Move note on units into the introduction.
Merge commit '5875dd521fdb99af21da5a0a3339ca1b3b1861f6'

Conflicts:
	doc/freimarkets_specs.org
Add remaining formal specs from the Google document.