Clean up use of getReplacement in LF and HCF
Amend DSE to use new interface
Simplify the is-user test now that all pointer forwarding is done by synthesis
Implement pointer synthesis and fix a couple of obvious errors.
Remove redundant function
Remove VFS uses of old interface; clean up uses of ValCtx.