rename BareDesugar -> Desugar, add back strict_selections for JQuery
system, and print more specific error messages in main whenever possible