added symbolic special case for proj1 and proj2 __eq__ symbolic lambda
some tests to cover missing features and a constraint-solver refactoring (still not correct)