In practice

In practice, however, the type system constrains the programmer in many ways that are unacceptable to Lisp programmers: data cannot be interpreted as programs, lists must be homogeneous, and functions are not easily redefned without recompiling other dependent functions.

One might say that while on the first view liberty is simply about how many doors are open to the agent, on the second view it is more about going through the right doors for the right reasons.