Define elaboration types

Int: which range? i32, isize, BigInt?
Boolean: True or False
Option[T]: T or None
Config: an elaboration-time structure.
Lists?
Which operators are available on Int? Must not break if it becomes bigger?

Edited Sep 28, 2023 by come_744

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information