Clean.Types: Universally quantified functions
To fix https://github.com/clean-cloogle/cloogle.org/issues/32, the following has to be done:
:: Typeto allow for universally quantified variables in function arguments.
TypeUnify.iclto deal with this. It should not be possible to unify (unique) universally quantified variables with anything else than (unique) variables.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information