Separated Turing machine implementation into components

* i.e. separate namespaces and headers for _Tape_ and _State_ functions
* `void` is now used as the `BLANK` field value

3 files changed, 7 insertions, 2 deletions

diff --git a/src/list/generator/detail/generate_nested_structure.h b/src/list/generator/detail/generate_nested_structure.h
index 84db78d..77fa0aa 100644
--- a/src/list/generator/detail/generate_nested_structure.h
+++ b/src/list/generator/detail/generate_nested_structure.h
@@ -1,6 +1,9 @@
 #ifndef TYPEASVALUE_SRC_LIST_GENERATOR_DETAIL_GENERATE_NESTED_STRUCTURE_H_
 #define TYPEASVALUE_SRC_LIST_GENERATOR_DETAIL_GENERATE_NESTED_STRUCTURE_H_
 
+#include "type.h"
+#include "operation/math.h"
+
 namespace tav {
 
 namespace detail {
diff --git a/src/list/operation/higher/find.h b/src/list/operation/higher/find.h
index aeb0c2a..e7ee9f2 100644
--- a/src/list/operation/higher/find.h
+++ b/src/list/operation/higher/find.h
@@ -1,10 +1,10 @@
 #ifndef TYPEASVALUE_SRC_LIST_OPERATION_HIGHER_FIND_H_
 #define TYPEASVALUE_SRC_LIST_OPERATION_HIGHER_FIND_H_
 
+#include "list/list.h"
+#include "list_index.h"
 #include "utility/predicate.h"
 #include "function/apply.h"
-#include "list/operation/nth.h"
-#include "list_index.h"
 
 namespace tav {
 
diff --git a/src/pair.h b/src/pair.h
index 8234382..6b2fe28 100644
--- a/src/pair.h
+++ b/src/pair.h
@@ -3,6 +3,8 @@
 
 #include <type_traits>
 
+#include "type.h"
+
 namespace tav {
 
 namespace detail { struct pair_tag { }; }