Get rid of assumptions on Expression restrict
Move litmap out of NormalForm classes
Lots of normal form refactoring
Add unit tests for satisfy_one context manager