Disjoint on object properties and functions

> 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?