Pretty print lists; print values of bound variables