Fix some problems in desugar-check.rkt

- Names of functions were symbols, not strings, in desugaring of check-info
- Sources of code could be paths as well as strings, which confused check-info
- Also added comparison methods to strings