Loc

Replaced `equal` operator definition, added some missing `decl`'s to `Experimental.eli`, and cleaned up display of operators to better enforce referential transparency.