copied old post about short notation for types in python