Format typechecking result properly

[MxmUrw]

We want to produce a readable type/constraint/error output for the user when typechecking.

This involves:

• [x] #213
• [x] #231
• [x] #153
• [x] #221
• [x] #235
• [x] #236
• [x] #242
• [x] use unicode for sensitivity pretty printing (like ceil(x) -> ⌈x⌉, sqrt(x))
• [x] do not display inheritance list in non-detailed mode
• [x] add locations to gauss constraints
• [x] Display \Sigma\emptyset as zero
• [x] Do not display Num, IR wrapper
• [x] #261
• [x] Matrix dimensions can have names like m and n. Norm and clip are called N and C.
• [x] Privacy variables are called \epsilon and \delta
• [x] #257
• [x] Print short functions types in one line
• [x] Indent nested (long) function types further for better readability
• [x] Non detailed: do not print top: ..., others: ...
• [x] Detailed mode should also be pretty
• [x] Print our types as "consistent extensions of the julia type annotations". Except functions. We print them differently.
• [x] Rename Int to Integer
• [x] Sort sums/products in sensitivity terms before printing
• [x] There are some remaining \tau a and \tau r in the generated names, use \tau instead
• [x] #263
• [x] #266