[VOTE] Stricter type-checks for arithmetic/bitwise operators