Resolve proc override paths in var values

[ike709]

Gets bay compiling when some of my other PRs are also merged.

Also changes procpaths with /proc/ elements to point at the original declaration, not lateral overrides. In this case a new pragma is emitted if lateral overrides exist.