type EnvMap = TreeMap<String  Decorated Decl>;

type Set<a> = [a];

Syntax

Transparent type aliases can be declared as follows:

type Identifier < type variable list > = type ;

Please note these are aliases, not actual new types. For that see nonterminal declarations.

FAQ

Is there a newtype equivalent?

Not yet, but someday.