Create test_expr module
Move a bunch of unit tests into test module

Also, change ordering so that Implies goes after Equal in all cases.