comment
pretty the sugar
pretty tycheck errs
the REPL is back