Add spec.org (notes on specification) and tidy code, add some comments, etc.