trade space for time when printing indentation

Also:
- rename Depth to PrettyPrintContext.
- Drop the idea of making basic indent configurable.
    (Two spaces ought to be enough for anyone.)