assert-one-typed := λ(: term AST). (: (
   (if (non-zero(typeof term)) () (
      (exit-error( 'Unable\sto\sinfer\stype\sof\sexpression_s term ))
   ))
) Nil);