desugar cases-else to check anns also, and fix bad ann in resolve-scope