Error messages printing

• Adds better error messages.
• Removes a lot of errors that were either not being used, or could be replaced by another exception.

src/bin/expect_tests/misc_cli_commands.ml

@@ -60,6 +60,7 @@ let%expect_test _ =
   [%expect {|
     ligo: error
           The provided storage does not have the correct type for the contract.
+
           Bad types:
           expected record[card_patterns -> Map (nat , record[coefficient -> mutez , quantity -> nat]) , cards -> Map (nat , record[card_owner -> address , card_pattern -> nat]) , next_id -> nat]
           got sum[Buy_single -> record[card_to_buy -> nat] , Sell_single -> record[card_to_sell -> nat] , Transfer_single -> record[card_to_transfer -> nat , destination -> address]] |}] ;
\ No newline at end of file