Any plans for supporting more operations

[ZiyueXu77]

I fully understand the rationale of limiting the functionalities to the native operations of the scheme for easier maintenance, and that operations like comparison and division would need approximations via complicated circuits with no generic approach.

But I still wonder if there are any potential plans for supporting these derivative operations? Maybe not a "full-support", but some examples to show basic use-cases and feasibilities.