First bash at not using feat
Finish updating Exp.thy.
Use observation functions instead of Ord instances.