Beyond Booleans

What is the type of 2 + 2 = 4?