Improve error messages in the error_kind printer#499

filipeom merged 1 commit intomainformalsec/smtml:mainfrom

filipe/improve-pp-error-kindformalsec/smtml:filipe/improve-pp-error-kindCopy head branch name to clipboard