Fix :print-type. Closes PR13503.
Make overlap more precise.
Add missing pure functions.