Implement RecordProperties::mkGroundTerm().  Resolves bug #546.