diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AndByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AndByteString.plc.golden
new file mode 100644
index 00000000000..9180582f930
--- /dev/null
+++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AndByteString.plc.golden
@@ -0,0 +1 @@
+bool -> bytestring -> bytestring -> bytestring
\ No newline at end of file
diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ComplementByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ComplementByteString.plc.golden
new file mode 100644
index 00000000000..770236177ca
--- /dev/null
+++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ComplementByteString.plc.golden
@@ -0,0 +1 @@
+bytestring -> bytestring
\ No newline at end of file
diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/OrByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/OrByteString.plc.golden
new file mode 100644
index 00000000000..9180582f930
--- /dev/null
+++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/OrByteString.plc.golden
@@ -0,0 +1 @@
+bool -> bytestring -> bytestring -> bytestring
\ No newline at end of file
diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ReadBit.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ReadBit.plc.golden
new file mode 100644
index 00000000000..bfbe9abb46f
--- /dev/null
+++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ReadBit.plc.golden
@@ -0,0 +1 @@
+bytestring -> integer -> bool
\ No newline at end of file
diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ReplicateByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ReplicateByteString.plc.golden
new file mode 100644
index 00000000000..fcb192a96ed
--- /dev/null
+++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ReplicateByteString.plc.golden
@@ -0,0 +1 @@
+integer -> integer -> bytestring
\ No newline at end of file
diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/WriteBits.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/WriteBits.plc.golden
new file mode 100644
index 00000000000..ab0f9ecb22e
--- /dev/null
+++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/WriteBits.plc.golden
@@ -0,0 +1 @@
+bytestring -> list (pair integer bool) -> bytestring
\ No newline at end of file
diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/XorByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/XorByteString.plc.golden
new file mode 100644
index 00000000000..9180582f930
--- /dev/null
+++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/XorByteString.plc.golden
@@ -0,0 +1 @@
+bool -> bytestring -> bytestring -> bytestring
\ No newline at end of file