First phase of naive set support.

This just ignores prioritization of facts with a Set mode.