[omaranto]

> I think they are called colloquialisms

Close, they are called "idioms".

> +|x

The plus should be an asterisk, but yes, that is an idiom the ngn/k interpreter recognizes.