Version 0.13

NEW FEATURES

• match%nat construct for int -> nat coercion
• abs is now int -> int
• Command line options --parse-only, --type-only
• Command line options --single-line, --compact to output
  Michelson on a single line
• Support &&, || Boolean connectors
• Support Map.add, Map.remove, Set.add, Set.remove
• Lambda types are now written as t1 -> t2 instead of
  (t1, t2) lambda
• Constant amounts written as litterals: 1.00tz
• Constant keys and key_hashes as litterals: edpk... tz1...
• Timestamps as litterals in ISO-8601 format

IMPROVEMENTS

• Split typechecking and encoding phases
• Allow transfers in conditions (for if-then-else and match)
• Encode to constants when possible
• Better error messages
• Accept any name for result of Contract.call
• Recover variable names when decompiling

BUG FIXES

• Fix bug in encoding of closures
• Fix bug in compilation of branches with transfers