Type aliases

Description

Dark v1 Problems

Title

Problem:

Solution:

Status: Spec'ed or not spec'ed

v2 Spec

v2 Language definition

v2 Standard library

v2 Editor changes