Add tautology law operator + generalize examples

[pietervdvn]

e.g. ~~ (with name) or >> (without name). Code snippets written there should always evaluate to true.

• [ ] Check collections to update to new syntax

[pietervdvn]

In the meanwhile, allow examples to add declarations. They will be treated as nameless laws

> b:Bool => False && b = False
>> b:Bool => True || b
~~ neutral element for ||: b:Bool => True || b

[pietervdvn]

Not needed: when no right hand side is found, will be treated as tautology

[pietervdvn]

Fixed in 788c5bb900ed88207319403f19c70a6eeae99d64