[ Fin ] added missing 'instance' keyword
Renamed instance wildcard ... to it
[ Nat ] added _^_ (linear version)
updates to derivingEq