Update the pretty printer to avoid too long lines

This update changes this

    Deriv
      { derivContext = [ ( "f"
                         , Exists
                             "a" (
                             Exists
                               "b" (
                               Exists
                                 "c" (
                                 ((TVar
                                     True
                                     2 :+:
                                     TVar
                                       True
                                       1) :+:
                                    TVar
                                      True
                                      0) :*:
                                   (TVar
                                      False
                                      2 :&:
                                      (TVar
                                         False
                                         1 :&:
                                         TVar
                                           False
                                           0)) ) ) )
                         )
                       ]
        }

into this:

    Deriv
      , derivContext =
          [ ( "f"
            , Exists
                "a" (
                  Exists
                    "b" (
                      Exists
                        "c" (
                          ((TVar True 2 :+: TVar True 1) :+: TVar True 0) :*:
                            (TVar False 2 :&: (TVar False 1 :&: TVar False 0)) ) ) )
            )
          ]
      }

Futhermore, lists are not always printed as

    [ 0
    , 1
    ]

Instead, they can be printed as

    [ 0 , 1 ]

This is of course subjective, but I prefer this.