Switched from a-list to linearized slot-based top-level environment