As a user I would like to be able to provide a ProblemDetail.type via a MessageSource, just like I already can for the ProblemDetail.title and ProblemDetail.detail.

This makes it easier to define my own ProblemDetail types for the ProblemDetail created by the ResponseEntityExceptionHandler for the standard Spring exceptions.

Note: I have discussed this feature request with @rstoyanchev at Spring I/O 2023