Change fixme to explanation in Box.asA.

There was a FIXME about why existential types were being
used for Box.asA, but I figured it out, so I filled in the
reasoning as a comment.