Add more semantic fields to Match and Case

entity/expression.go

@@ -371,7 +371,9 @@ type Match struct {
 	Cases    []*Case
 
 	// Semantics
-	Ty Type
+	Ty        Type
+	CaseOrder []Hash
+	CaseMap   map[Hash] *Case
 }
 func (*Match) expression(){}
 func (this *Match) Type () Type { return this.Ty }

entity/misc.go

@@ -80,6 +80,7 @@ type Case struct {
 	Position    errors.Position
 	Declaration *Declaration
 	Expression
+	Scope
 }
 func (this *Case) String () string {
 	return fmt.Sprint("| ", this.Declaration, this.Expression)