More fun with type, because @Trey_McKay asked so nicely. Very much a work-in-progress. Criticism more than welcome.
