Update StrongNat_syntax_problem.idr