Style & spec updates (rev 1)

No functional changes beyond those

Revised to satisfying a few missing style constraints