Towards equivariant formal group laws