Revamped to use `Cons` as a function and `Pair` as its result

* this is analogous to _Scheme_ where a pair (dot-expression) is returned from a call to `cons`
* `Head` and `Tail` are kept as direct references to the `CAR` and `CDR` values of a pair to match e.g. the math operators

1 files changed, 2 insertions, 2 deletions

diff --git a/src/list/operation/basic.h b/src/list/operation/basic.h
index 1f4b043..cbbe22c 100644
--- a/src/list/operation/basic.h
+++ b/src/list/operation/basic.h
@@ -7,11 +7,11 @@
 
 namespace tav {
 
-template <typename Cons>
+template <typename Pair>
 using Length = Fold<
 	Apply<Add, Size<1>, _1>::pair_type,
 	Size<0>,
-	Cons
+	Pair
 >;
 
 }