Typing is not a programming bottleneck