Updates to printing

 * Show lambda bodies slightly indented if there's a line break
 * Pretty-print :x output
 * Put an At error constructor around type provider errors
 * Minor cleanups
 * Distinguish between () the type and () the constructor when coloring
 * Distinguish between pair types and pairs of types when coloring