+ Use types which are way clearer
+ Some docs
+ Use lens where they make things easier
+ New types required quite a significant factor of the codebase
+ TODO:
  + Cleanup
  + Further refactoring/polishing
    + I want type names to reflect those typically used when talking about simplex methods
    + But first, I need to learn what the actual terms are
    + I'd also like to simplify a lot of these functions
    + The refactor has made it easier for me to think about these functions, which makes it easier to simplify them

+ test10 was broken due to an LLM sneakily adding extra constraints and changing objective
+ testQuickCheck1/2 were broken because the constraints were built using `Map.fromList` with duplicate keys
  + only one of the key values were used, others were ignored

+ Control.Monad.Logger used for logging
+ Documented various functions
+ Handled some edge cases which shouldn't be possible (and log warnings/errors when we reach these edge cases)

+ I like this name better
+ Allows for alternative solvers

+ I was using the cabal plan as a key, now I use stack files/cabal generated files

+ Don't want to spend effor fixing windows caching