Use an evaluate() method on ExponentialDot instead of having elements of an exponential dot behave
functionally.
We can get the same effect using implicits.
This clears the way for a version of the action topos which doesn't have to wrap its elements,
simplifying the code considerably.
Use an evaluate() method on ExponentialDot instead of having elements of an exponential dot behave functionally. We can get the same effect using implicits. This clears the way for a version of the action topos which doesn't have to wrap its elements, simplifying the code considerably.