Enhance docs of Statement constructor and add alternate constructors