Add a switch to dataLang for whether primitives consume space

`dataLang` contains a dead code elimination pass, but it only works for pure code, and primitives which consume space are not considered pure. There should be a switch in `dataLang`, initially off, indicating whether the space consumption of primitives is modelled, so there can initially be a more aggressive dead code elimination phase.