Refactored and expanded code for dynamic/1 and table/1. I fixed
a bug with dynamic pred as tabled, rewrote some obscure code to
fix a memory leak in double allocation of prrefs, and fixed a bug
to allow static code to be rewritten as nonincremental or as
opaque. Also, I added inconsistency checks for dynamic and
tabled options.