Annotated array type fix

  - The annotation type of an array definition is strengthened with the
    top-level refinement of the infered type for that expression (that includes
    the length for array literals).