$$ [\text{halt}] \to halt([\text{expression}]); \\ [\text{expression}] \to \text{Number} $$