moduli space of formal group laws