Start work on the inferencer.

The different tenvC representation will be annoying but not too hard.

Moved some general theorems into miscScript, and into libPropsScript