hdl.rec: migrate Record from UserValue to ValueCastable.