Provide typeclass for getting all/any annotations on a class

[propensive]

Currently the Annotations typeclass is only generated if at least one, specified annotation type is found. This should be split into variants which always match (returning an empty list of annotations if there are none) and which match only when a unique annotation is found, returning just the first annotation. The two can be combined to get "at least one" behavior.