First iteration of coverage arguments more-or-less there.

Still have a lot of wanted functionality, but want to move on to
return types and termination coverage.