Minor prelude reordering so we can use `and` and `or` earlier.