1 files changed, 37 insertions, 36 deletions
diff --git a/src/tokens/semantic.rs b/src/tokens/semantic.rs
index ed53685..a665b9a 100644
--- a/src/tokens/semantic.rs
+++ b/src/tokens/semantic.rs
@@ -1,60 +1,62 @@
 use crate::*;
 
 
-pub enum SemanticToken {
-    MacroDefinition,
-    Invocation,
+/// The entire semantic program, ready to generate bytecode.
+pub struct Program {
+    pub definitions: Vec<Definition>,
+    pub invocations: Vec<Invocation>,
 }
 
-pub struct Invocation {
+/// A symbol definition.
+pub struct Definition {
     pub name: String,
-    pub bytecode: BytecodeSpan,
-    pub arguments: Vec<InvocationArgument>,
-}
-
-pub struct BlockLiteral {
-    pub tokens: Vec<BlockToken>,
+    pub source: SourceSpan,
+    pub arguments: Vec<ArgumentDefinition>,
+    pub variant: DefinitionVariant,
 }
 
-pub struct BlockToken {
+pub struct ArgumentDefinition {
+    pub name: String,
     pub source: SourceSpan,
-    pub bytecode: BytecodeSpan,
-    pub variant: BlockTokenVariant,
+    pub variant: ArgumentDefinitionVariant,
 }
 
-pub enum BlockTokenVariant {
-    Invocation(Invocation),
-    Word(PackedBinaryLiteral),
+pub enum ArgumentDefinitionVariant {
+    Integer,
+    Block,
 }
 
-pub struct MacroDefinition {
-    pub name: String,
-    pub arguments: Vec<DefinitionArgument>,
-    pub body: BlockLiteral,
+pub enum DefinitionVariant {
+    Integer(IntegerDefinition),
+    Block(Vec<BlockToken>),
 }
 
-// -------------------------------------------------------------------------- //
-
-pub struct SemanticParseError {
+pub struct IntegerDefinition {
     pub source: SourceSpan,
-    pub variant: SemanticParseErrorVariant,
+    pub variant: IntegerDefinitionVariant,
 }
 
-pub enum SemanticParseErrorVariant {
+pub enum IntegerDefinitionVariant {
+    Literal(usize),
+    Constant(ConstantExpression),
+    Reference(String),
+}
 
+pub struct BlockToken {
+    pub source: SourceSpan,
+    pub variant: BlockTokenVariant,
 }
 
-// -------------------------------------------------------------------------- //
+pub enum BlockTokenVariant {
+    Invocation(Invocation),
+    Comment(String),
+    Word(PackedBinaryLiteral),
+}
 
-pub struct DefinitionArgument {
+pub struct Invocation {
     pub name: String,
     pub source: SourceSpan,
-    pub variant: DefinitionArgumentVariant,
-}
-
-pub enum DefinitionArgumentVariant {
-    Integer,
-    Block,
+    pub arguments: Vec<InvocationArgument>,
 }
 
 pub struct InvocationArgument {
@@ -63,9 +65,8 @@ pub struct InvocationArgument {
 }
 
 pub enum InvocationArgumentVariant {
-    BlockLiteral(BlockLiteral),
+    BlockLiteral(Vec<BlockToken>),
     IntegerLiteral(usize),
     ConstantExpression(ConstantExpression),
-    Invocation(Invocation),
+    Reference(String),
 }
-