Add testcase for solver loop in conjunction with natnormalise#69

rowanG077 wants to merge 1 commit intomasterclash-lang/ghc-typelits-knownnat:masterfrom

68-misleading-solverwanteds-too-many-iterations-error-messageclash-lang/ghc-typelits-knownnat:68-misleading-solverwanteds-too-many-iterations-error-messageCopy head branch name to clipboard