Did some renaming, also refactored the code in Elea.Context, some of which was unsound which I think I fixed.
Renamed a bunch of stuff. The indices are incorrect in Fixpoint.fusion, will fix them tomorrow, provided I'm not too hungover.