Arity error reporting, more tests, small bug fix `n_subst_typ`.