x = x + 1

always annoyed me as a syntax for binding, when first learning programming, coming from using = in equational reasoning in mathematics.

x: x + 1

would have been more natural as assignment/binding, imho.