Update prelude. Reorganize list functions.
Better support for pure functions in the axiomatic semantics.