simplify Sch::RunChecker implementation
prefer fold expression and implicit deductions over recursive template specialisations with explicit arguments....
prefer fold expression and implicit deductions over recursive template specialisations with explicit arguments....