Rename getEditableDeclaration ~> getEditableRelation

Although the type is Declaration, it is actually a reference to a relation, and calling it a declaration is confusing in comments.
Show Haskell representation of interface expression for --dev
Experimental getEditableRelations that uses concepts from epsilons

Kind of hacky, and still has some weird behavior, so we need to examine this further.