new in mixfix annotations: "' " (quote space) separates delimiters without adding extra white space for printing;

Added the exception handler handle _ => exit 1. This will catch all errors and force an exit with error code, causing Make to fail.

intro_tacsf now includes subsetI as an introduction rule. It is needed for rules like list_into_univ