Fix vectorisation of binders in case expressions