test: Add annotations 3 for mismatched types.
semantic: Check types in user attributes.
test: Update passing on annotations 3.