Work on 2-watch literal scheme

Does not work, need to fix conflict handling (and perhaps backjumping
as well)