Value orientation reminds me of the old language SETL, where the basic values were immutable sets. It was possible to compile SETL-like programs to efficient code with some interesting representations.

https://cs.nyu.edu/faculty/paige/courses/setl/course.html