Unlifts an R value to its core representation.