No, I omitted that step for reasons discussed in the earlier thread: this gives too weak a "God" to be any interest to anyone, and is downright confusing.
The only way I can think to get back to some form of traditional theism is to add a premise saying that "every entity not of type G has a cause" (insert your favourite G) and then perhaps to pull the modal trick of claiming all the premises are possible...
Okay, that's reasonable.
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.