I wish that VLIDE can inspect complex expressions...
How do you mean? The inspect tool can already evaluate any lisp syntax, not just variables. As can the Watch tool. Just enter whatever you wish to inspect/watch into the dialog, including the ( and ) as you'd have typed it into the REPL / source file.
As for the others being able to step backwards ... good luck with that. I've not seen many (or rather any) IDEs in any language which can do this. I know "why" you'd want them ... i.e. after stepping through multiple statements you notice something, but you've already moved beyond where it happened.
In this case breakpoints is your best friend. I.e. once you've noticed it, set a breakpoint before the point you think you wanted. Stop evaluation and restart it without stepping - then it runs as full speed all the way to the breakpoint, starting to step there.