Add multi-line printing and syntax highlighting
Add toLambda rule for (C I) and (C I x)