Replace overly-wide exception catches with specific exception types

Based on 517a97a (latest development commit). Each broad | _ -> catch in
the display/typing pipeline is replaced with an enumeration of only the
specific compilation-error exception types that the try block legitimately
expects to raise. Any exception not in the list naturally bubbles up.

Co-authored-by: Simn <634365+Simn@users.noreply.github.com>

Author: Copilot

src/context/display/displayFields.ml

@@ -381,7 +381,7 @@ let handle_missing_field_raise ctx tthis i mode with_type pfield =
 					begin try
 						let e = type_expr ctx e WithType.value in
 						e.etype
-					with Error.Fatal_error _ | Error.Error _ | Typecore.Forbid_package _ | Failure _ ->
+					with Error.Fatal_error _ | Error.Error _ | Typecore.Forbid_package _ | Typecore.WithTypeError _ | Failure _ ->
 						mk_mono()
 					end
 				| _ -> mk_mono()
@@ -393,7 +393,7 @@ let handle_missing_field_raise ctx tthis i mode with_type pfield =
 				begin try
 					let e = type_expr ctx e WithType.value in
 					e.etype
-				with Error.Fatal_error _ | Error.Error _ | Typecore.Forbid_package _ | Failure _ ->
+				with Error.Fatal_error _ | Error.Error _ | Typecore.Forbid_package _ | Typecore.WithTypeError _ | Failure _ ->
 					raise Exit
 				end
 			| _ -> raise Exit
@@ -410,7 +410,7 @@ let handle_missing_field_raise ctx tthis i mode with_type pfield =
 					(name,false,e.etype)
 				) el in
 				(TFun(tl,tret),Method MethNormal)
-			with Error.Fatal_error _ | Error.Error _ | Typecore.Forbid_package _ | Failure _ ->
+			with Error.Fatal_error _ | Error.Error _ | Typecore.Forbid_package _ | Typecore.WithTypeError _ | Failure _ ->
 				raise Exit
 			end
 		| MGet ->