@@s(x){x};
@s "+" = fun(x, y) {@v(
	@s(x) - @s(y)
)};

print( 1 + 2 );
print( @s(1 + 2) );
