Changelog of @hackage/ghc-typelits-natnormalise 0.3

Changelog for the `ghc-typelits-natnormalise` package

Find more unifications:
- <TyApp xs> + x ~ 2 + x ==> [<TyApp xs> ~ 2]
Fixes bugs:
- Unifying a*b ~ b now returns [a ~ 1]; before it erroneously returned [a ~ ], which is interpred as [a ~ 0]...
- Unifying a+b ~ b now returns [a ~ 0]; before it returned the undesirable, though equal, [a ~ ]

Finds more unifications:
- (2 + a) ~ 5 ==> [a := 3]
- (3 * a) ~ 0 ==> [a := 0]