Change the structure of the GenT monad, to better track explanations. (#4838) * Added Constrained.SumList.hs to repo Defined pickAll the basis of sums with fixed length. Added getSizedList as a method of the Foldy class getSizeList cost is metered at 1000 calls. Typical calls are less than 10. Gave HasSpec (optional) method 'typeSpecHasError' a better default value * Changed the monad in Constrained.GenT to use reader instead of state.

Change the structure of the GenT monad, to better track explanations. (#4838) * Added Constrained.SumList.hs to repo Defined pickAll the basis of sums with fixed length. Added getSizedList as a method of the Foldy class getSizeList cost is metered at 1000 calls. Typical calls are less than 10. Gave HasSpec (optional) method 'typeSpecHasError' a better default value * Changed the monad in Constrained.GenT to use reader instead of state. #17018