Error in transformation remove
The error returned by remove should be improved. Instead of "ident not yet declared", it should print something like "cannot remove x since it appears in H".
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information