update T5045 for new typing of arrow forms