Make -imp simplify more, and use it in more places.

Also add filter tests for implication.