gradual typing in python