add sys.exit

[joprice]

This adds sys.exit https://docs.python.org/3/library/sys.html#sys.exit, using overloads for the three common ways of calling the method. The return type is polymorphic to represent it never returning, allowing it to be used in place of a value of any type.