renamed coerce_to_vector => coerce_to_typed_vector, and updated aliase and forall comments.