Sol now warns when comparing or assigning someting to itself

Examples of things that gets caught:

x = x
if foo.bar < foo.bar then ...
Not sure