Fix plus spaces

Previously, a type like Foo[+A, +B] would fail this check, even though it's a valid type and not an arithmetic expression.

So, I limited this check to infix expressions, as well as added a test.

Let me know if there's anything else you need.