Toward a better Typing