Remove nt case from peg_exec_thm (and automatic evaluation).

Clients should specialise peg_nt_thm with the particular non-terminal
values of their actual grammar.