ref: 13efe91101a11f41caf6321a8b2fbdd96ef9927a
parent: 4fba3e66dce0d167d2031a0d1f1f6f4571cbd981
author: Peter Mikkelsen <peter@pmikkelsen.com>
date: Tue Jul 27 12:41:12 EDT 2021
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