Cycle 15/Ruleset Draft: Difference between revisions

Spaces have a unique, clearly differentiable and finitely representable identifier, which is an integer unless otherwise specified. Spaces also have types, with the default being Blank. A space identifier cannot be something that could be construed as a space type.