Add `(e at label)` as acceptable ghost code
at construction could be generalized from logic expression to ghost code. It would remove some need of
let ghost construction which have their own restriction.
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information