make theory transformation that removes TRUE/FALSE

[Ingmar Dasseville]

true and false are sometimes useful to write in a theory as a KR-tool but often need special cases in other parts of the system. The theory can easily be modified to eliminate the need for them. E.g. write a | false as a or ?x[T] : true to ?x : T(x)

[Ingmar Dasseville]

thinking about whether this is useful