Changelog of @hackage/morley 0.4.0

0.4.0

Implemented most of Babylon changes: new instructions, elimination of big_map restructions, new restrictions for the contract type, partial support for entrypoints. Some instructions have been removed/deprecated.
Many updates of helper data types for upgradeable contracts: UParam and UStore.
Michelson printer can produce pretty output, not just one line.
Added utilities for contract processing and analysis: optimizer, string transformer, errors transformer, analyzer.
Added tasty helpers to the testing engine.
Added annotations to typed representation and Lorentz.
Added automatic documentation generator.
Modified standard errors in Lorentz: now they are based on CustomError.
Added unpacking from readable representation.
Removed parameter and storage aliases, they were not very useful and complicated the code.
Extended cryptographic types and Address to work with other curves (tz2 and tz3 addresses).
Made it nearly impossible to generate dead code (which is illegal in Michelson) using Lorentz.
Various bug fixes.

TM-68 Lorentz DSL which allows one to write contracts directly in Haskell. May be moved to a separate package later.
TM-132 Names for contracts in integrational tests.
TM-35 PACK and UNPACK instructions.
TM-27 Proper handling of FAILWITH.
TM-44 TM-124 Reorganization of modules.
Bug fixes.

Initial release.