Use Proxy instead of undefined, add more DVal instances