Merge: typing: include a hook to enable more precise error information on 'expected...