Move definition of "Gamma" model to Gamma.hs.