first cut at option
option in the other test
none return when removing only possibility
first place conjecture. simple with no propagation
conjecture place returns none when place not possible
propagate eliminations when placing