I'd propose a few changes to the prelude: - [ ] Add `Order` to the prelude Rationale: `Order` will be involved in array creation, one of the most basic tasks user code faces. What other items are missing? Some that should leave?