Refactor out type classes
Added table generation for records.
Removed dependency on DataKinds and made everything working
for GHC 7.4/7.6
Simplified model by removing AggrVal typeclass
Added code to generate database from Haskell
Added type-level const