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...