bynk.types.match_arm_mismatch
earlier arms have type
