commutative formal group laws