I propose to focus on finite systems for now, and consider supporting infinite systems a separate issue.
We might integrate the operators tighter with the system format by e.g. making them rely on
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information