transformation `apply` and similar ones shuold display the name of missing arguments
When using apply or rewrite, if they are unmatched quantified variables, the error message
simply says there are n terms missing. It should display their names.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information