test 1-9 passing

crates/lang/src/air.rs

@@ -64,6 +64,7 @@ pub enum Air {
     Builtin {
         scope: Vec<u64>,
         func: DefaultFunction,
+        tipo: Arc<Type>,
     },
 
     BinOp {

crates/lang/src/lib.rs

@@ -12,6 +12,7 @@ pub mod parser;
 pub mod pretty;
 pub mod tipo;
 pub mod uplc;
+pub mod builder;
 
 #[derive(Debug, Default, Clone)]
 pub struct IdGenerator {

crates/project/src/lib.rs

@@ -17,9 +17,10 @@ use aiken_lang::{
         Annotation, DataType, Definition, Function, ModuleKind, RecordConstructor,
         RecordConstructorArg, Span, TypedDataType, TypedDefinition, TypedFunction,
     },
+    builder::{DataTypeKey, FunctionAccessKey},
     builtins::{self, generic_var},
     tipo::TypeInfo,
-    uplc::{CodeGenerator, DataTypeKey, FunctionAccessKey},
+    uplc::CodeGenerator,
     IdGenerator,
 };
 use miette::NamedSource;