EFUNs: Use intersect_types() instead of and_pike_types() in `&(). Fixes intersection of types with negated types. Fixes several testsuite failures.