Add rule for eq, equal, =, eql comparing type domains

[Fuco1]

If the intersection of left and right argument's domains is empty there is no way this can ever match and we can say "this always evals to nil".

• [x] eq
• [ ] equal
• [ ] eql
• [ ] =
• [ ] string=