Mark Thom

Not sure if it helps with the lack of recursive type support in wit-bindgen but I am in the process of removing `Term` entirely from Scryer.

I think the rug library returns an Option here because of what it says at [this link](https://gmplib.org/manual/Integer-Logic-and-Bit-Fiddling).. namely, if the integer is less than 0, then the integer is considered...