Plans.

TODO.md

@@ -1,3 +1,4 @@
+Differentiate kind literals, constructors, and kinds themselves.
 EXCEPTION HANDLING: exception ast type should have as data a giant enum of
 possible types, rather than a char* message. A description of each type could be
 handled under the exception type and print logic. For now, executor checks

src/include/ast.h

@@ -11,9 +11,10 @@ typedef enum {
     AST_TYPE_LIT_BOOL, // A boolean literal.
     AST_TYPE_LIT_KIND, // A kind literal.
 
-    AST_TYPE_INT,  // An integer.
-    AST_TYPE_SYM,  // A symbol.
-    AST_TYPE_EXC,  // Exception.
+    AST_TYPE_INT_CON,  // An integer constructor.
+    AST_TYPE_BOOL_CON, // A boolean constructor.
+    AST_TYPE_KIND_CON, // A kind constructor.
+    AST_TYPE_EXC_CON,  // Exception constructor.
 
     // Collection types:
     AST_TYPE_VEC,  // A vector (fixed size, fixed type).