Improve error reporting for type signatures