One of our code-checking tools should make sure that we don't add more reserved identifiers
View options
Now that #1031 (moved) is closed, we should make sure we don't add any more reserved identifiers. We could expand 'make check-spaces' to solve that, or start using another lint-ish tool, or something else.