hdl.rec: proxy operators correctly.