More detailed error reporting for type analyzer