Use actual validation types in annotated method handles.

Use actual validation types in annotated method handles instead of the
"overrideSafe" boolean value. This also allows more stable linkage of
the "length" property for array types.