v0.15.1

0.15.1

Features

• Manual: added a tutorial on the type checker Snowcat, see #689
• Language manual: add types for the standard operators, see #547
• Type checker: add support for type aliases,
  e.g., @typeAlias FOO = [a: Int, b: Int], see #704
• Manual: updated the HOWTO on type annotations with type aliases