Merge pull request spolu#36 from spolu/stan-fixes

Various fixes to cut 0.0.2-pre

Merge pull request spolu#19 from spolu/stan-mint

Reintroduce mint command

Update to README guiding principles

Fact retrieval and assertion creation