test: Add failing annotations test 2.
semantic: Check TypeReferences in acceptableForUserAttribute too.
semantic: Resolve types in user attribute type checking code.
test: Update passing on annotations 2.