alpha of src-writer/test-writer
test satisfiability to same as master
Update README.md
expounding on test-writer example in README.md
numerous fixes: grammar,code, example writers