so... we want to look at some nice simple examples of non-representable functors on the category of (?fp?) presheaves on the walking idempotent, and interpret them as giving us extra conditions on an action needed to qualify as flat ... ???or something??