well-formedness for using _ as a name in cases expressions