Please provide a way to validate newly-constructed parameterized types.
Something along the lines of the type validation in Check.validate,
except operating on Type objects. It should be easy to validate without
automatically emitting diagnostics.

This would be useful, for example, for making the getDeclaredType utility
methods in javax.lang.model.util.Types more robust in the face of invalid
arguments.