types: Improve the documentation of automatic vector promotions