Enhance docs of Statement constructor and add alternate constructors

The first parameter is not necessarily a claim. So putting that in there is deceptive.