[naasking]

Also they permit more inlining opportunities, allow eliminating more dead code, and more. Types almost always improve program performance.