ShowConstant: showThrough and TH for generating instances for newtypes

TH is in a separate module, as it is for `RunQuery`. Id prefer if the top level module for each would re-export the TH functions but that requires moving things around a bit so I didn't do that.

Closes #50