Type synonyms should not be resolved
Currently (some) type signatures with type synonyms are very hard to read. So it would be better if we not resolve type synonyms. The output (
.cdoc files) of CurryDoc has to be modified to make this possible.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information