rename Plotter -> PlotHo
add a bunch of Lookup types
Rec0 f doesn't need to be Generic, just Lookup
expose some internals