For collection creation, add support for [immutability from freeze](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/krml169.pdf) is desirable.
For collection creation, add support for immutability from freeze is desirable.