Huge refactoring: Move Gamma.{Name,Type,Module} to Ident, Gamma.{Value,Types,Index,Constr} to GammaMap. Remove type parameters to Gamma.t. Getting the build system almost working