Add Higher Order Operators

[zenna]

• [x] Add RCD operator
• [ ] Add RCD tests
• [x] Add RID operator
• [ ] Add RID tests
• [ ] sat example

In old Omega I found the issue of errors not propagating https://github.com/zenna/Omega.jl/issues/99

I need to think about this means with more traditional inference.