Big rewrite of Reify/Resolve/RealPath