EssentialType: Implement correct essential types for bitwise binary operators &, ^ and |.
#3127
| Job | Run time |
|---|---|
| 6s | |
| 1h 5m 19s | |
| 1h 5m 25s |