Experimental "type feedback" for Python