PAC/MCE model: fix timing of target in PAC expectation term

Also be more strict on the form of the target (must now be X(-1) or log(X(-1))
where X is *not* an auxiliary variable).

By the way, improve some comments in SymbolTable.

(cherry picked from commit ecf6d67e)