[randomswede]

So if I understand this correctly, "a + b" is syntactic sugar for "a.+(b)" (modulo the exact name of the method)?

[munificent]

Yes, exactly. Basically everything is method calls.