Editor for path equations in models #63

Path equations in models of discrete double theories are already implemented in the core. We need to add an editor for them in the frontend. Applications include adding equations to ologs and schemas.