Automatic variable declaration

[rikki cattermole]

On 16/08/2018 2:58 AM, Everlast wrote:
> The notation may seem a little funky but it is perfectly valid since 
> this is as simple rewrite rule(direct isomorphic correspondence law).

Except there is one little problem with it.

It already exists. Its called AssignExpression but it does not not 
declare said variable. It's from C. Personally I'm of the opinion that 
it can go to the nether and have a swim.