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