Design docs support type ducking