Reindent hit/quotient

I want to use it as an example, so I'd like to have it nicely indented
so that it's clear where the private inductive module ends.
Link to Dan Licata's blog post in STYLE.md
Merge pull request #618 from JasonGross/link-dan-licata

Link to Dan Licata's blog post in STYLE.md
Merge pull request #617 from JasonGross/reindent-quotient

Reindent hit/quotient