Package to deal with commutative formal group laws