Consider API for annotation property type

[raphw]

For non-loaded annotations, it can be determined if a default value is set or not. It could therefore be possible to sometimes determine if an annotation value should be explicitly written to a class.

See #480.