fix ordering of s-cases ast in desugar-check and well-formed (looks like a typo bug)