Alias fixity not inherited when aliasing an operator from a different module

[lukaszcz]

From Juvix docs:

In Juvix, when an operator is aliased, the new alias automatically inherits the
fixity of the original operator. This behavior ensures consistency and
predictability when using aliases in place of their corresponding operators.

This is no longer true when the aliased operator was defined in a different module (still works if in the same module).