Make Val work for defs.