Make RecordVal Name an Init