Initial support for aliases and exit through the type system and the interpreter.

An alias can be read within the interpreter, but not written to. Exits aren't yet taken in the interpreter.

1 files changed, 1 insertions, 0 deletions

diff --git a/language/l2.lem b/language/l2.lem
index e3a52dfa..60b566a9 100644
--- a/language/l2.lem
+++ b/language/l2.lem
@@ -510,6 +510,7 @@ type tag =  (* Data indicating where the identifier arises and thus information
  | Tag_default (* Type has come from default declaration, identifier may not be bound locally *)
  | Tag_spec
  | Tag_enum
+ | Tag_alias
 
 
 type t =  (* Internal types *)