Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink