Fix error output and improve clarity

Fix error output style to follow file exception
format. Also improve error messages to be clearer and
provide more information.

Author: TGWDB

regression/cbmc/enum_is_in_range/enum_test10.desc

@@ -3,7 +3,7 @@ enum_test10.c
 
 ^EXIT=6$
 ^SIGNAL=0$
-^file enum_test10.c line \d+ function main: __CPROVER_enum_is_in_range expects enum argument type$
+^file enum_test10.c line \d+ function main: __CPROVER_enum_is_in_range expects enum, but \(i\) has type `signed int`$
 --
 ^\[main.assertion.1\] line \d+ assertion __CPROVER_enum_is_in_range\(i\): SUCCESS$
 ^\[main.assertion.1\] line \d+ assertion __CPROVER_enum_is_in_range\(i\): FAILURE$

regression/cbmc/enum_is_in_range/enum_test12.desc

@@ -3,7 +3,7 @@ enum_test12.c
 
 ^EXIT=6$
 ^SIGNAL=0$
-^file enum_test12.c line \d+ function main: __CPROVER_enum_is_in_range expects 1 argument, 2 were provided$
+^file enum_test12.c line \d+ function main: __CPROVER_enum_is_in_range takes exactly 1 argument, but 2 were provided$
 --
 ^\[main.assertion.1\] line \d+ assertion __CPROVER_enum_is_in_range\(.*\): SUCCESS$
 ^\[main.assertion.1\] line \d+ assertion __CPROVER_enum_is_in_range\(.*\): FAILURE$

src/ansi-c/c_typecheck_expr.cpp

@@ -2846,10 +2846,11 @@ exprt c_typecheck_baset::do_special_functions(
     // Check correct number of arguments
     if(expr.arguments().size() != 1)
     {
-      error().source_location = expr.source_location();
-      error() << identifier << " expects 1 argument, "
-              << expr.arguments().size() << " were provided" << eom;
-      throw 0;
+      std::ostringstream error_message;
+      error_message << expr.source_location().as_string() << ": " << identifier
+                    << " takes exactly 1 argument, but "
+                    << expr.arguments().size() << " were provided";
+      throw invalid_source_file_exceptiont{error_message.str()};
     }
     // Replace expr with giant boolean that checks all the values
     // of the enumeration as disjunction
@@ -2875,9 +2876,12 @@ exprt c_typecheck_baset::do_special_functions(
     else
     {
       // Can't enum range check a non-enum
-      error().source_location = expr.source_location();
-      error() << identifier << " expects enum argument type" << eom;
-      throw 0;
+      std::ostringstream error_message;
+      error_message << expr.source_location().as_string() << ": "
+                    << identifier << " expects enum, but ("
+                    << expr2c(arg1, *this) << ") has type `"
+                    << type2c(arg1.type(), *this) << '`';
+      throw invalid_source_file_exceptiont{error_message.str()};
     }
   }
   else if(