Enhance docs of Statement constructor and add alternate constructors

This syntax means that _all_ parameters are optional now. But the first should not be optional, as it was before.