re-activate optimize_can_op; survives spec tests now.
turning stuff into sets should also cause fact copying