That needs a test, which separates free terms corresponding to `val`s and `var`s.