Definition of alias(x = y)

[aigarashi]

The current implementation does not restrict types of arguments in alias statements.
If both sides are references, it assumes that their contents are equal. (which is reasonable)
If both sides are integers (int types), it assumes they are equal. (which needs to be discussed, it depends on how we define alias)