many fixes to lexing character literals, which had not been properly exercised before. We now throw proper errors for bad character constants and correctly handle cases like #\uABCDEF and #\moo