Add the new Python constructors to the pyi files

This change makes the type checkers aware that these constructors
exist, so that the checkers don't warn about code that calls them.