Function overloading with Python 3, using annotations