Fix up term/binding inference. addcom serializes and verifies!