1.0.26.20: tighter VECTOR-PUSH-EXTEND argument type