All over the place

I'm all over the place trying to figure out how I am going to go about
this. I would love for the types themselves to describe the nature of the
arguments available to each command. This may take a lot of work.