better type propagation for MULTIPLE-VALUE-BIND