Operators and composed causality
Refactoring to CausalModel GADT
Introducing Truthy class
AnyCause type for sufficient cause