Encode "current object" rules declaratively

[travitch]

Right now, the "current" object for commands is taken from the context. That could be made more flexible by setting up declarative rules mapping different program modes to data values through lenses. This would be especially useful for specifying the current objects of the symbolic execution engine.