Development

A number of small edits:
  * gcov improvements
  * change API from "quote_for_lit" to "literal"
  * fix unit tests
  * smooth out the build