Module ExpRelation

Currently this works purely syntactically on the expressions, and only for =_must.

Does not keep state, this is only formulated as an analysis to integrate well into framework