added objective type families into Data.Params template haskell
Merge branch 'master' of https://github.com/mikeizbicki/typeparams