pan: Try to specialize Red functions a little better.
pan: Last Red.

I think we're good for now?
Rename Exactly to Ex.
Make Optional tractable.

Oh my. Yay?
FAQ.