Disjoint on object properties and functions #212
Description
I would wait for #209 to merge (or branch of that) before attempting this
The disjoint operation needs some additional cases
For objects, they are disjoint if:
- Any object properties of itself are in the other have disjoint members
For functions, they are disjoint if:
- Return types are disjoint
- Not sure if anything can be figured from the parameters for now?