Hinomaru: explain each var and constraint.
Hinomaru: doc tweaks
Hinomaru: more good docs
First draft of README.md
README links to README.md, tweaks.