remove clausenr from terms, and put it into goals instead. Next up is implementing the control constructs in C, since they misbehave right now due to the new changes

Don't use strings to identify vars, use numbers

Reduce size of the Term struct from about 72 bytes to 48