WIP: rename variables for clarity
Introduce Convex newtype for clarity
cabal: Increase upper bounds for GHC-7.8