Adds the Wyrd compilers for all generic Fate computations.

43 files changed, 3225 insertions, 2861 deletions

diff --git a/src/core/src/tonkadur/fate/v1/lang/computation/ExtraComputationInstance.java b/src/core/src/tonkadur/fate/v1/lang/computation/ExtraComputationInstance.java
index cbd0b6b..83960b7 100644
--- a/src/core/src/tonkadur/fate/v1/lang/computation/ExtraComputationInstance.java
+++ b/src/core/src/tonkadur/fate/v1/lang/computation/ExtraComputationInstance.java
@@ -45,13 +45,7 @@ public class ExtraComputationInstance extends Computation
    )
    throws ParsingError
    {
-      RecurrentChecks.propagate_expected_types
-      (
-         parameters,
-         computation.get_signature()
-      );
-
-      RecurrentChecks.assert_computations_matches_signature
+      RecurrentChecks.propagate_expected_types_and_assert_computations_matches_signature
       (
          origin,
          parameters,
diff --git a/src/core/src/tonkadur/fate/v1/lang/computation/TextWithEffect.java b/src/core/src/tonkadur/fate/v1/lang/computation/TextWithEffect.java
index d5647c0..a4f029f 100644
--- a/src/core/src/tonkadur/fate/v1/lang/computation/TextWithEffect.java
+++ b/src/core/src/tonkadur/fate/v1/lang/computation/TextWithEffect.java
@@ -54,7 +54,7 @@ public class TextWithEffect extends Computation
    )
    throws ParsingError
    {
-      RecurrentChecks.assert_computations_matches_signature
+      RecurrentChecks.propagate_expected_types_and_assert_computations_matches_signature
       (
          origin,
          parameters,
diff --git a/src/core/src/tonkadur/fate/v1/lang/computation/generic/LambdaEvaluation.java b/src/core/src/tonkadur/fate/v1/lang/computation/generic/LambdaEvaluation.java
index f1af59f..9e1597f 100644
--- a/src/core/src/tonkadur/fate/v1/lang/computation/generic/LambdaEvaluation.java
+++ b/src/core/src/tonkadur/fate/v1/lang/computation/generic/LambdaEvaluation.java
@@ -63,13 +63,7 @@ public class LambdaEvaluation extends GenericComputation
 
       call_parameters.remove(0);
 
-      RecurrentChecks.propagate_expected_types
-      (
-         call_parameters,
-         lambda_signature
-      );
-
-      RecurrentChecks.assert_computations_matches_signature
+      RecurrentChecks.propagate_expected_types_and_assert_computations_matches_signature
       (
          origin,
          call_parameters,
diff --git a/src/core/src/tonkadur/fate/v1/lang/computation/generic/TextJoin.java b/src/core/src/tonkadur/fate/v1/lang/computation/generic/TextJoin.java
index 4d10497..7d5d364 100644
--- a/src/core/src/tonkadur/fate/v1/lang/computation/generic/TextJoin.java
+++ b/src/core/src/tonkadur/fate/v1/lang/computation/generic/TextJoin.java
@@ -57,7 +57,7 @@ public class TextJoin extends GenericComputation
       text_collection.expect_non_string();
       link.expect_string();
 
-      RecurrentChecks.assert_is_a_collection_of
+      RecurrentChecks.propagate_expected_types_and_assert_is_a_collection_of
       (
          origin,
          text_collection.get_type(),
diff --git a/src/core/src/tonkadur/fate/v1/lang/instruction/EventOption.java b/src/core/src/tonkadur/fate/v1/lang/instruction/EventOption.java
index d2d4fc3..6b4413e 100644
--- a/src/core/src/tonkadur/fate/v1/lang/instruction/EventOption.java
+++ b/src/core/src/tonkadur/fate/v1/lang/instruction/EventOption.java
@@ -70,13 +70,7 @@ public class EventOption extends Instruction
    )
    throws ParsingError
    {
-      RecurrentChecks.propagate_expected_types
-      (
-         parameters,
-         event.get_signature()
-      );
-
-      RecurrentChecks.assert_computations_matches_signature
+      RecurrentChecks.propagate_expected_types_and_assert_computations_matches_signature
       (
          origin,
          parameters,
diff --git a/src/core/src/tonkadur/fate/v1/lang/instruction/ExtraInstructionInstance.java b/src/core/src/tonkadur/fate/v1/lang/instruction/ExtraInstructionInstance.java
index 2a5a13e..efeafaa 100644
--- a/src/core/src/tonkadur/fate/v1/lang/instruction/ExtraInstructionInstance.java
+++ b/src/core/src/tonkadur/fate/v1/lang/instruction/ExtraInstructionInstance.java
@@ -46,13 +46,7 @@ public class ExtraInstructionInstance extends Instruction
    )
    throws ParsingError
    {
-      RecurrentChecks.propagate_expected_types
-      (
-         parameters,
-         instruction.get_signature()
-      );
-
-      RecurrentChecks.assert_computations_matches_signature
+      RecurrentChecks.propagate_expected_types_and_assert_computations_matches_signature
       (
          origin,
          parameters,
diff --git a/src/core/src/tonkadur/fate/v1/lang/instruction/SequenceCall.java b/src/core/src/tonkadur/fate/v1/lang/instruction/SequenceCall.java
index 1b93aba..2972417 100644
--- a/src/core/src/tonkadur/fate/v1/lang/instruction/SequenceCall.java
+++ b/src/core/src/tonkadur/fate/v1/lang/instruction/SequenceCall.java
@@ -65,7 +65,7 @@ public class SequenceCall extends Instruction
          signature
       );
 
-      RecurrentChecks.assert_computations_matches_signature
+      RecurrentChecks.propagate_expected_types_and_assert_computations_matches_signature
       (
          get_origin(),
          parameters,
diff --git a/src/core/src/tonkadur/fate/v1/lang/instruction/SequenceJump.java b/src/core/src/tonkadur/fate/v1/lang/instruction/SequenceJump.java
index 9d8513c..f7157ff 100644
--- a/src/core/src/tonkadur/fate/v1/lang/instruction/SequenceJump.java
+++ b/src/core/src/tonkadur/fate/v1/lang/instruction/SequenceJump.java
@@ -48,7 +48,7 @@ public class SequenceJump extends Instruction
          signature
       );
 
-      RecurrentChecks.assert_computations_matches_signature
+      RecurrentChecks.propagate_expected_types_and_assert_computations_matches_signature
       (
          get_origin(),
          parameters,
diff --git a/src/core/src/tonkadur/fate/v1/lang/instruction/SequenceVariableCall.java b/src/core/src/tonkadur/fate/v1/lang/instruction/SequenceVariableCall.java
index 0e4a654..7fb0d1c 100644
--- a/src/core/src/tonkadur/fate/v1/lang/instruction/SequenceVariableCall.java
+++ b/src/core/src/tonkadur/fate/v1/lang/instruction/SequenceVariableCall.java
@@ -79,7 +79,7 @@ public class SequenceVariableCall extends Instruction
          );
       }
 
-      RecurrentChecks.assert_computations_matches_signature
+      RecurrentChecks.propagate_expected_types_and_assert_computations_matches_signature
       (
          origin,
          parameters,
diff --git a/src/core/src/tonkadur/fate/v1/lang/instruction/SequenceVariableJump.java b/src/core/src/tonkadur/fate/v1/lang/instruction/SequenceVariableJump.java
index f0a0cae..72bb3a2 100644
--- a/src/core/src/tonkadur/fate/v1/lang/instruction/SequenceVariableJump.java
+++ b/src/core/src/tonkadur/fate/v1/lang/instruction/SequenceVariableJump.java
@@ -79,7 +79,7 @@ public class SequenceVariableJump extends Instruction
          );
       }
 
-      RecurrentChecks.assert_computations_matches_signature
+      RecurrentChecks.propagate_expected_types_and_assert_computations_matches_signature
       (
          origin,
          parameters,
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/ComputationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/ComputationCompiler.java
index f5bb4a0..b02b600 100644
--- a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/ComputationCompiler.java
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/ComputationCompiler.java
@@ -164,37 +164,7 @@ implements tonkadur.fate.v1.lang.meta.ComputationVisitor
 
       return result;
    }
-/*
-   @Override
-   public void visit_at_reference
-   (
-      final tonkadur.fate.v1.lang.computation.AtReference n
-   )
-   throws Throwable
-   {
-      final ComputationCompiler n_cc;
 
-      n_cc = new ComputationCompiler(compiler);
-
-      n.get_parent().get_visited_by(n_cc);
-
-      assimilate(n_cc);
-
-      result_as_address =
-         new Address
-         (
-            n_cc.get_computation(),
-            TypeCompiler.compile
-            (
-               compiler,
-               (
-                  (tonkadur.fate.v1.lang.type.PointerType)
-                     n.get_parent().get_type()
-               ).get_referenced_type()
-            )
-         );
-   }
-*/
    @Override
    public void visit_cast
    (
@@ -374,105 +344,6 @@ implements tonkadur.fate.v1.lang.meta.ComputationVisitor
             n.get_value_as_string()
          );
    }
-/*
-   @Override
-   public void visit_count_operator
-   (
-      final tonkadur.fate.v1.lang.computation.CountOperator n
-   )
-   throws Throwable
-   {
-      final ComputationCompiler collection_compiler, element_compiler;
-
-      collection_compiler = new ComputationCompiler(compiler);
-      element_compiler = new ComputationCompiler(compiler);
-
-      n.get_collection().get_visited_by(collection_compiler);
-      n.get_element().get_visited_by(element_compiler);
-
-      collection_compiler.generate_address();
-
-      assimilate(collection_compiler);
-      assimilate(element_compiler);
-
-      if
-      (
-         (
-            (tonkadur.fate.v1.lang.type.CollectionType)
-               n.get_collection().get_type()
-         ).is_set()
-      )
-      {
-         final Register was_found, index, element;
-
-         was_found = reserve(Type.BOOL);
-         index = reserve(Type.INT);
-         element = reserve(element_compiler.get_computation().get_type());
-
-         init_instructions.add
-         (
-            new SetValue
-            (
-               element.get_address(),
-               element_compiler.get_computation()
-            )
-         );
-         init_instructions.add
-         (
-            BinarySearch.generate
-            (
-               compiler.registers(),
-               compiler.assembler(),
-               element.get_value(),
-               new Size(collection_compiler.get_address()),
-               collection_compiler.get_address(),
-               was_found.get_address(),
-               index.get_address()
-            )
-         );
-
-         result_as_computation =
-            new IfElseComputation
-            (
-               was_found.get_value(),
-               Constant.ONE,
-               Constant.ZERO
-            );
-      }
-      else
-      {
-         final Register result, element;
-
-         result = reserve(Type.INT);
-
-         result_as_address = result.get_address();
-         result_as_computation = result.get_value();
-
-         element = reserve(element_compiler.get_computation().get_type());
-
-         init_instructions.add
-         (
-            new SetValue
-            (
-               element.get_address(),
-               element_compiler.get_computation()
-            )
-         );
-         init_instructions.add
-         (
-            CountOccurrences.generate
-            (
-               compiler.registers(),
-               compiler.assembler(),
-               element.get_value(),
-               new Size(collection_compiler.get_address()),
-               collection_compiler.get_address(),
-               result_as_address
-            )
-         );
-      }
-   }
-*/
 
    @Override
    public void visit_field_access
@@ -614,99 +485,6 @@ implements tonkadur.fate.v1.lang.meta.ComputationVisitor
       }
    }
 
-/*
-   @Override
-   public void visit_is_member_operator
-   (
-      final tonkadur.fate.v1.lang.computation.IsMemberOperator n
-   )
-   throws Throwable
-   {
-      final Register result;
-      final ComputationCompiler collection_compiler, element_compiler;
-
-      collection_compiler = new ComputationCompiler(compiler);
-      element_compiler = new ComputationCompiler(compiler);
-
-      n.get_collection().get_visited_by(collection_compiler);
-      n.get_element().get_visited_by(element_compiler);
-
-      collection_compiler.generate_address();
-
-      assimilate(collection_compiler);
-      assimilate(element_compiler);
-
-      result = reserve(Type.BOOL);
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      if
-      (
-         (
-            (tonkadur.fate.v1.lang.type.CollectionType)
-               n.get_collection().get_type()
-         ).is_set()
-      )
-      {
-         final Register index, element;
-
-         index = reserve(Type.INT);
-         element = reserve(element_compiler.get_computation().get_type());
-
-         init_instructions.add
-         (
-            new SetValue
-            (
-               element.get_address(),
-               element_compiler.get_computation()
-            )
-         );
-         init_instructions.add
-         (
-            BinarySearch.generate
-            (
-               compiler.registers(),
-               compiler.assembler(),
-               element.get_value(),
-               new Size(collection_compiler.get_address()),
-               collection_compiler.get_address(),
-               result_as_address,
-               index.get_address()
-            )
-         );
-
-      }
-      else
-      {
-         final Register index, element;
-
-         index = reserve(Type.INT);
-         element = reserve(element_compiler.get_computation().get_type());
-
-         init_instructions.add
-         (
-            new SetValue
-            (
-               element.get_address(),
-               element_compiler.get_computation()
-            )
-         );
-         init_instructions.add
-         (
-            IterativeSearch.generate
-            (
-               compiler.registers(),
-               compiler.assembler(),
-               element.get_value(),
-               new Size(collection_compiler.get_address()),
-               collection_compiler.get_address(),
-               result_as_address,
-               index.get_address()
-            )
-         );
-      }
-   }
-*/
    @Override
    public void visit_newline
    (
@@ -716,571 +494,7 @@ implements tonkadur.fate.v1.lang.meta.ComputationVisitor
    {
       result_as_computation = new Newline();
    }
-/*
-   @Override
-   public void visit_operation
-   (
-      final tonkadur.fate.v1.lang.computation.Operation n
-   )
-   throws Throwable
-   {
-      final String fate_op_name;
-      final List<Computation> operands;
-
-      operands = new ArrayList<Computation>();
 
-      for (final tonkadur.fate.v1.lang.meta.Computation x: n.get_operands())
-      {
-         final ComputationCompiler cc;
-
-         cc = new ComputationCompiler(compiler);
-
-         x.get_visited_by(cc);
-
-         assimilate(cc);
-
-         operands.add(cc.get_computation());
-      }
-
-      fate_op_name = n.get_operator().get_name();
-
-      if
-      (
-         fate_op_name.equals(tonkadur.fate.v1.lang.computation.Operator.PLUS.get_name())
-      )
-      {
-         final Iterator<Computation> operands_it;
-
-         operands_it = operands.iterator();
-
-         result_as_computation = operands_it.next();
-
-         while (operands_it.hasNext())
-         {
-            result_as_computation =
-               Operation.plus(operands_it.next(), result_as_computation);
-         }
-      }
-      else if
-      (
-         fate_op_name.equals(tonkadur.fate.v1.lang.computation.Operator.MINUS.get_name())
-      )
-      {
-         final Iterator<Computation> operands_it;
-         Computation sum;
-
-         operands_it = operands.iterator();
-
-         result_as_computation = operands_it.next();
-         sum = operands_it.next();
-
-         while (operands_it.hasNext())
-         {
-            sum = Operation.plus(operands_it.next(), sum);
-         }
-
-         result_as_computation = Operation.minus(result_as_computation, sum);
-      }
-      else if
-      (
-         fate_op_name.equals(tonkadur.fate.v1.lang.computation.Operator.TIMES.get_name())
-      )
-      {
-         final Iterator<Computation> operands_it;
-
-         operands_it = operands.iterator();
-
-         result_as_computation = operands_it.next();
-
-         while (operands_it.hasNext())
-         {
-            result_as_computation =
-               Operation.times(operands_it.next(), result_as_computation);
-         }
-      }
-      else if
-      (
-         fate_op_name.equals
-         (
-            tonkadur.fate.v1.lang.computation.Operator.DIVIDE.get_name()
-         )
-      )
-      {
-         result_as_computation =
-            Operation.divide(operands.get(0), operands.get(1));
-      }
-      else if
-      (
-         fate_op_name.equals
-         (
-            tonkadur.fate.v1.lang.computation.Operator.MIN.get_name()
-         )
-      )
-      {
-         final Register candidate;
-
-         candidate = reserve(operands.get(0).get_type());
-         result_as_address = candidate.get_address();
-         result_as_computation = candidate.get_value();
-
-         init_instructions.add
-         (
-            new SetValue(result_as_address, operands.get(0))
-         );
-
-         for (final Computation operand: operands)
-         {
-            init_instructions.add
-            (
-               new SetValue
-               (
-                  result_as_address,
-                  new IfElseComputation
-                  (
-                     Operation.less_than
-                     (
-                        result_as_computation,
-                        operand
-                     ),
-                     result_as_computation,
-                     operand
-                  )
-               )
-            );
-         }
-      }
-      else if
-      (
-         fate_op_name.equals
-         (
-            tonkadur.fate.v1.lang.computation.Operator.MAX.get_name()
-         )
-      )
-      {
-         final Register candidate;
-
-         candidate = reserve(operands.get(0).get_type());
-         result_as_address = candidate.get_address();
-         result_as_computation = candidate.get_value();
-
-         init_instructions.add
-         (
-            new SetValue(result_as_address, operands.get(0))
-         );
-
-         for (final Computation operand: operands)
-         {
-            init_instructions.add
-            (
-               new SetValue
-               (
-                  result_as_address,
-                  new IfElseComputation
-                  (
-                     Operation.greater_than(result_as_computation, operand),
-                     result_as_computation,
-                     operand
-                  )
-               )
-            );
-         }
-      }
-      else if
-      (
-         fate_op_name.equals
-         (
-            tonkadur.fate.v1.lang.computation.Operator.ABS.get_name()
-         )
-      )
-      {
-         final Computation zero, minus_one;
-
-         if (operands.get(0).get_type().equals(Type.INT))
-         {
-            zero = Constant.ZERO;
-            minus_one = new Constant(Type.INT, "-1");
-         }
-         else
-         {
-            zero = new Constant(Type.FLOAT, "0.0");
-            minus_one = new Constant(Type.FLOAT, "-1.0");
-         }
-
-         result_as_computation =
-            new IfElseComputation
-            (
-               Operation.greater_than(zero, operands.get(0)),
-               Operation.times(minus_one, operands.get(0)),
-               operands.get(0)
-            );
-      }
-      else if
-      (
-         fate_op_name.equals
-         (
-            tonkadur.fate.v1.lang.computation.Operator.CLAMP.get_name()
-         )
-      )
-      {
-         final Type t;
-         final Register candidate;
-         final Computation result_as_computation;
-
-         t = operands.get(2).get_type();
-         candidate = reserve(t);
-         result_as_address = candidate.get_address();
-         result_as_computation = candidate.get_value();
-
-         init_instructions.add
-         (
-            new SetValue
-            (
-               result_as_address,
-               new IfElseComputation
-               (
-                  Operation.greater_than(operands.get(2), operands.get(1)),
-                  operands.get(1),
-                  operands.get(2)
-               )
-            )
-         );
-         init_instructions.add
-         (
-            new SetValue
-            (
-               result_as_address,
-               new IfElseComputation
-               (
-                  Operation.less_than(result_as_computation, operands.get(0)),
-                  operands.get(0),
-                  result_as_computation
-               )
-            )
-         );
-      }
-      else if
-      (
-         fate_op_name.equals
-         (
-            tonkadur.fate.v1.lang.computation.Operator.MODULO.get_name()
-         )
-      )
-      {
-         result_as_computation =
-            Operation.modulo(operands.get(0), operands.get(1));
-      }
-      else if
-      (
-         fate_op_name.equals(tonkadur.fate.v1.lang.computation.Operator.POWER.get_name())
-      )
-      {
-         result_as_computation =
-            Operation.power(operands.get(0), operands.get(1));
-      }
-      else if
-      (
-         fate_op_name.equals
-         (
-            tonkadur.fate.v1.lang.computation.Operator.RANDOM.get_name()
-         )
-      )
-      {
-         final List<Instruction> push_rand, pop_rand;
-         final Register result, zero_holder;
-
-         push_rand = new ArrayList<Instruction>();
-         pop_rand = new ArrayList<Instruction>();
-
-         result = reserve(Type.INT);
-         zero_holder = reserve(Type.INT);
-
-         result_as_computation = result.get_value();
-         result_as_address = result.get_address();
-
-         push_rand.add
-         (
-            new SetValue
-            (
-               result_as_address,
-               Operation.rand(operands.get(0), operands.get(1))
-            )
-         );
-
-         push_rand.add
-         (
-            new SetValue
-            (
-               new RelativeAddress
-               (
-                  compiler.registers().get_rand_value_holder().get_address(),
-                  new Cast
-                  (
-                     new Size
-                     (
-                        compiler.registers().get_rand_value_holder
-                        (
-                        ).get_address()
-                     ),
-                     Type.STRING
-                  ),
-                  Type.INT
-               ),
-               result_as_computation
-            )
-         );
-
-         pop_rand.add
-         (
-            new SetValue
-            (
-               result_as_address,
-               new ValueOf
-               (
-                  new RelativeAddress
-                  (
-                     compiler.registers().get_rand_value_holder().get_address(),
-                     new Cast(Constant.ZERO, Type.STRING),
-                     Type.INT
-                  )
-               )
-            )
-         );
-
-         pop_rand.add(new SetValue(zero_holder.get_address(), Constant.ZERO));
-
-         pop_rand.add
-         (
-            RemoveAt.generate
-            (
-               compiler.registers(),
-               compiler.assembler(),
-               zero_holder.get_address(),
-               new Size
-               (
-                  compiler.registers().get_rand_value_holder().get_address()
-               ),
-               compiler.registers().get_rand_value_holder().get_address()
-            )
-         );
-
-         init_instructions.add
-         (
-            IfElse.generate
-            (
-               compiler.registers(),
-               compiler.assembler(),
-               Operation.equals
-               (
-                  compiler.registers().get_rand_mode_holder().get_value(),
-                  Constant.ZERO
-               ),
-               new SetValue
-               (
-                  result_as_address,
-                  Operation.rand(operands.get(0), operands.get(1))
-               ),
-               IfElse.generate
-               (
-                  compiler.registers(),
-                  compiler.assembler(),
-                  Operation.equals
-                  (
-                     compiler.registers().get_rand_mode_holder().get_value(),
-                     Constant.ONE
-                  ),
-                  compiler.assembler().merge(push_rand),
-                  compiler.assembler().merge(pop_rand)
-               )
-            )
-         );
-      }
-      else if
-      (
-         fate_op_name.equals(tonkadur.fate.v1.lang.computation.Operator.AND.get_name())
-      )
-      {
-         final Iterator<Computation> operands_it;
-
-         operands_it = operands.iterator();
-
-         result_as_computation = operands_it.next();
-
-         while (operands_it.hasNext())
-         {
-            result_as_computation =
-               Operation.and(operands_it.next(), result_as_computation);
-         }
-      }
-      else if
-      (
-         fate_op_name.equals(tonkadur.fate.v1.lang.computation.Operator.OR.get_name())
-      )
-      {
-         final Iterator<Computation> operands_it;
-
-         operands_it = operands.iterator();
-
-         result_as_computation = operands_it.next();
-
-         while (operands_it.hasNext())
-         {
-            result_as_computation =
-               Operation.or(operands_it.next(), result_as_computation);
-         }
-      }
-      else if
-      (
-         fate_op_name.equals(tonkadur.fate.v1.lang.computation.Operator.NOT.get_name())
-      )
-      {
-         result_as_computation = Operation.not(operands.get(0));
-      }
-      else if
-      (
-         fate_op_name.equals
-         (
-            tonkadur.fate.v1.lang.computation.Operator.IMPLIES.get_name()
-         )
-      )
-      {
-         result_as_computation =
-            Operation.implies(operands.get(0), operands.get(1));
-      }
-      else if
-      (
-         fate_op_name.equals
-         (
-            tonkadur.fate.v1.lang.computation.Operator.ONE_IN.get_name()
-         )
-      )
-      {
-         final Iterator<Computation> operand_it;
-
-         operand_it = operands.iterator();
-
-         result_as_computation =
-            new IfElseComputation
-            (
-               operand_it.next(),
-               Constant.ONE,
-               Constant.ZERO
-            );
-
-         while (operand_it.hasNext())
-         {
-            result_as_computation =
-               Operation.plus
-               (
-                  new IfElseComputation
-                  (
-                     operand_it.next(),
-                     Constant.ONE,
-                     Constant.ZERO
-                  ),
-                  result_as_computation
-               );
-         }
-
-         result_as_computation =
-            Operation.equals(result_as_computation, Constant.ONE);
-      }
-      else if
-      (
-         fate_op_name.equals
-         (
-            tonkadur.fate.v1.lang.computation.Operator.EQUALS.get_name()
-         )
-      )
-      {
-         final Iterator<Computation> operands_it;
-         final Computation first_elem;
-
-         operands_it = operands.iterator();
-
-         first_elem = operands_it.next();
-
-         result_as_computation =
-            Operation.equals(first_elem, operands_it.next());
-
-         while (operands_it.hasNext())
-         {
-            result_as_computation =
-               Operation.and
-               (
-                  result_as_computation,
-                  Operation.equals(first_elem, operands_it.next())
-               );
-         }
-      }
-      else if
-      (
-         fate_op_name.equals
-         (
-            tonkadur.fate.v1.lang.computation.Operator.LOWER_THAN.get_name()
-         )
-      )
-      {
-         result_as_computation =
-            Operation.less_than(operands.get(0), operands.get(1));
-      }
-      else if
-      (
-         fate_op_name.equals
-         (
-            tonkadur.fate.v1.lang.computation.Operator.LOWER_EQUAL_THAN.get_name()
-         )
-      )
-      {
-         result_as_computation =
-            Operation.less_equal_than(operands.get(0), operands.get(1));
-      }
-      else if
-      (
-         fate_op_name.equals
-         (
-            tonkadur.fate.v1.lang.computation.Operator.GREATER_EQUAL_THAN.get_name()
-         )
-      )
-      {
-         result_as_computation =
-            Operation.greater_equal_than(operands.get(0), operands.get(1));
-      }
-      else if
-      (
-         fate_op_name.equals
-         (
-            tonkadur.fate.v1.lang.computation.Operator.GREATER_THAN.get_name()
-         )
-      )
-      {
-         result_as_computation =
-            Operation.greater_than(operands.get(0), operands.get(1));
-      }
-      else
-      {
-         System.err.println("[P] Unknown Fate operator '" + fate_op_name+ "'.");
-      }
-   }
-*/
-/*
-   @Override
-   public void visit_size_operator
-   (
-      final tonkadur.fate.v1.lang.computation.SizeOperator n
-   )
-   throws Throwable
-   {
-      final ComputationCompiler cc;
-
-      cc = new ComputationCompiler(compiler);
-
-      n.get_collection().get_visited_by(cc);
-
-      assimilate(cc);
-
-      result_as_computation = new Size(cc.get_address());
-   }
-*/
    @Override
    public void visit_extra_computation
    (
@@ -1317,67 +531,7 @@ implements tonkadur.fate.v1.lang.meta.ComputationVisitor
             parameters
          );
    }
-/*
-   @Override
-   public void visit_is_empty
-   (
-      final tonkadur.fate.v1.lang.computation.IsEmpty n
-   )
-   throws Throwable
-   {
-      final ComputationCompiler cc;
-
-      cc = new ComputationCompiler(compiler);
-
-      n.get_collection().get_visited_by(cc);
-
-      assimilate(cc);
 
-      result_as_computation =
-         Operation.equals(new Size(cc.get_address()), Constant.ZERO);
-   }
-*/
-/*
-   @Override
-   public void visit_index_of_operator
-   (
-      final tonkadur.fate.v1.lang.computation.IndexOfOperator n
-   )
-   throws Throwable
-   {
-      final ComputationCompiler elem_cc, collection_cc;
-      final Register result, result_found;
-
-      result = reserve(Type.INT);
-      result_found = reserve(Type.BOOL);
-
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      elem_cc = new ComputationCompiler(compiler);
-      collection_cc = new ComputationCompiler(compiler);
-
-      n.get_element().get_visited_by(elem_cc);
-      n.get_collection().get_visited_by(collection_cc);
-
-      assimilate(elem_cc);
-      assimilate(collection_cc);
-
-      init_instructions.add
-      (
-         IterativeSearch.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            elem_cc.get_computation(),
-            new Size(collection_cc.get_address()),
-            collection_cc.get_address(),
-            result_found.get_address(),
-            result_as_address
-         )
-      );
-   }
-*/
    @Override
    public void visit_default
    (
@@ -1465,43 +619,6 @@ implements tonkadur.fate.v1.lang.meta.ComputationVisitor
          );
    }
 */
-/*
-   @Override
-   public void visit_access
-   (
-      final tonkadur.fate.v1.lang.computation.Access n
-   )
-   throws Throwable
-   {
-      final ComputationCompiler extra_address_cc, base_address_cc;
-
-      base_address_cc = new ComputationCompiler(compiler);
-      extra_address_cc = new ComputationCompiler(compiler);
-
-      n.get_parent().get_visited_by(base_address_cc);
-      n.get_index().get_visited_by(extra_address_cc);
-
-      base_address_cc.generate_address();
-
-      assimilate(base_address_cc);
-      assimilate(extra_address_cc);
-
-      result_as_address =
-         new RelativeAddress
-         (
-            base_address_cc.get_address(),
-            new Cast(extra_address_cc.get_computation(), Type.STRING),
-            TypeCompiler.compile
-            (
-               compiler,
-               (
-                  (tonkadur.fate.v1.lang.type.CollectionType)
-                     n.get_parent().get_type()
-               ).get_content_type()
-            )
-         );
-   }
-*/
    @Override
    public void visit_switch_value
    (
@@ -1882,59 +999,7 @@ implements tonkadur.fate.v1.lang.meta.ComputationVisitor
 
       result_as_computation = compiler.assembler().get_label_constant(in_label);
    }
-/*
-   @Override
-   public void visit_lambda_evaluation
-   (
-      final tonkadur.fate.v1.lang.computation.LambdaEvaluation n
-   )
-   throws Throwable
-   {
-      final ComputationCompiler target_line_cc;
-      final List<Computation> parameters;
-      final Register result;
 
-      parameters = new ArrayList<Computation>();
-      target_line_cc = new ComputationCompiler(compiler);
-
-      n.get_lambda_function_reference().get_visited_by(target_line_cc);
-
-      assimilate(target_line_cc);
-
-      result = reserve(TypeCompiler.compile(compiler, n.get_type()));
-
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      for
-      (
-         final tonkadur.fate.v1.lang.meta.Computation param: n.get_parameters()
-      )
-      {
-         final ComputationCompiler cc;
-
-         cc = new ComputationCompiler(compiler);
-
-         param.get_visited_by(cc);
-
-         assimilate(cc);
-
-         parameters.add(cc.get_computation());
-      }
-
-      init_instructions.add
-      (
-         LambdaEvaluation.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            target_line_cc.get_computation(),
-            result_as_address,
-            parameters
-         )
-      );
-   }
-*/
    @Override
    public void visit_generic_computation
    (
@@ -2027,1898 +1092,7 @@ implements tonkadur.fate.v1.lang.meta.ComputationVisitor
       result_as_address = register.get_address();
       result_as_computation = register.get_value();
    }
-/*
-   @Override
-   public void visit_car_cdr
-   (
-      final tonkadur.fate.v1.lang.computation.CarCdr n
-   )
-   throws Throwable
-   {
-      final ComputationCompiler address_cc;
-
-      address_cc = new ComputationCompiler(compiler);
-
-      n.get_parent().get_visited_by(address_cc);
-
-      assimilate(address_cc);
-
-      result_as_address =
-         new RelativeAddress
-         (
-            address_cc.get_address(),
-            new Constant
-            (
-               Type.STRING,
-               (n.is_car()? "0" : "1")
-            ),
-            TypeCompiler.compile(compiler, n.get_type())
-         );
-   }
-*/
-/*
-   @Override
-   public void visit_cons
-   (
-      final tonkadur.fate.v1.lang.computation.ConsComputation n
-   )
-   throws Throwable
-   {
-      final ComputationCompiler car_compiler, cdr_compiler;
-      final Register result;
-
-      result = reserve(DictType.WILD);
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      car_compiler = new ComputationCompiler(compiler);
-
-      n.get_car().get_visited_by(car_compiler);
-
-      if (car_compiler.has_init())
-      {
-         init_instructions.add(car_compiler.get_init());
-      }
-
-      cdr_compiler = new ComputationCompiler(compiler);
-
-      n.get_cdr().get_visited_by(cdr_compiler);
-
-      if (cdr_compiler.has_init())
-      {
-         init_instructions.add(cdr_compiler.get_init());
-      }
-
-      init_instructions.add
-      (
-         CreateCons.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            result_as_address,
-            car_compiler.get_computation(),
-            cdr_compiler.get_computation()
-         )
-      );
-
-      car_compiler.release_registers(init_instructions);
-      cdr_compiler.release_registers(init_instructions);
-   }
-*/
-/*
-   @Override
-   public void visit_add_element
-   (
-      final tonkadur.fate.v1.lang.computation.AddElementComputation n
-   )
-   throws Throwable
-   {
-      final ComputationCompiler address_compiler, element_compiler;
-      final Register result;
-
-      result = reserve(TypeCompiler.compile(compiler, n.get_type()));
-
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      address_compiler = new ComputationCompiler(compiler);
-      element_compiler = new ComputationCompiler(compiler);
-
-      n.get_collection().get_visited_by(address_compiler);
-
-      if (address_compiler.has_init())
-      {
-         init_instructions.add(address_compiler.get_init());
-      }
-
-      init_instructions.add
-      (
-         new SetValue(result_as_address, address_compiler.get_computation())
-      );
-
-      address_compiler.release_registers(init_instructions);
-
-      n.get_element().get_visited_by(element_compiler);
-      assimilate(element_compiler);
-
-      init_instructions.add
-      (
-         AddElement.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            element_compiler.get_computation(),
-            result_as_address,
-            (
-               (tonkadur.fate.v1.lang.type.CollectionType)
-               n.get_collection().get_type()
-            ).is_set()
-         )
-      );
-   }
-*/
-/*
-   @Override
-   public void visit_add_element_at
-   (
-      final tonkadur.fate.v1.lang.computation.AddElementAtComputation n
-   )
-   throws Throwable
-   {
-      final ComputationCompiler address_compiler, index_compiler;
-      final ComputationCompiler element_compiler;
-      final Register result, index, collection_size;
-
-      result = reserve(TypeCompiler.compile(compiler, n.get_type()));
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      address_compiler = new ComputationCompiler(compiler);
-      index_compiler = new ComputationCompiler(compiler);
-      element_compiler = new ComputationCompiler(compiler);
-
-      n.get_collection().get_visited_by(address_compiler);
-
-      if (address_compiler.has_init())
-      {
-         init_instructions.add(address_compiler.get_init());
-      }
-
-      init_instructions.add
-      (
-         new SetValue(result_as_address, address_compiler.get_computation())
-      );
-
-      address_compiler.release_registers(init_instructions);
-
-      n.get_index().get_visited_by(index_compiler);
-
-      index_compiler.generate_address();
-      assimilate(index_compiler);
-
-      n.get_element().get_visited_by(element_compiler);
-      assimilate(element_compiler);
-
-      collection_size = reserve(Type.INT);
-      index = reserve(Type.INT);
-
-      init_instructions.add
-      (
-         new SetValue
-         (
-            collection_size.get_address(),
-            new Size(result_as_address)
-         )
-      );
-
-      init_instructions.add
-      (
-         new SetValue
-         (
-            index.get_address(),
-            new IfElseComputation
-            (
-               Operation.greater_than
-               (
-                  index_compiler.get_computation(),
-                  collection_size.get_value()
-               ),
-               collection_size.get_value(),
-               new IfElseComputation
-               (
-                  Operation.less_than
-                  (
-                     index_compiler.get_computation(),
-                     Constant.ZERO
-                  ),
-                  Constant.ZERO,
-                  index_compiler.get_computation()
-               )
-            )
-         )
-      );
-
-      init_instructions.add
-      (
-         InsertAt.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            index.get_address(),
-            element_compiler.get_computation(),
-            collection_size.get_value(),
-            result_as_address
-         )
-      );
-   }
-*/
-/*
-   @Override
-   public void visit_remove_elements_of
-   (
-      final tonkadur.fate.v1.lang.computation.RemoveElementsOfComputation n
-   )
-   throws Throwable
-   {
-      final ComputationCompiler collection_in_cc, collection_cc;
-      final Register result;
-
-      result = reserve(TypeCompiler.compile(compiler, n.get_type()));
-
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      collection_cc = new ComputationCompiler(compiler);
-
-      n.get_target_collection().get_visited_by(collection_cc);
-
-      if (collection_cc.has_init())
-      {
-         init_instructions.add(collection_cc.get_init());
-      }
-
-      init_instructions.add
-      (
-         new SetValue(result_as_address, collection_cc.get_computation())
-      );
-
-      collection_cc.release_registers(init_instructions);
-
-      collection_in_cc = new ComputationCompiler(compiler);
-
-      n.get_source_collection().get_visited_by(collection_in_cc);
-
-      assimilate(collection_in_cc);
-
-      init_instructions.add
-      (
-         RemoveElementsOf.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            collection_in_cc.get_address(),
-            result_as_address,
-            (
-               (tonkadur.fate.v1.lang.type.CollectionType)
-               n.get_target_collection().get_type()
-            ).is_set()
-         )
-      );
-   }
-*/
-/*
-   @Override
-   public void visit_add_elements_of
-   (
-      final tonkadur.fate.v1.lang.computation.AddElementsOfComputation n
-   )
-   throws Throwable
-   {
-      final ComputationCompiler collection_in_cc, collection_cc;
-      final Register result;
-
-      result = reserve(TypeCompiler.compile(compiler, n.get_type()));
-
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      collection_cc = new ComputationCompiler(compiler);
-
-      n.get_target_collection().get_visited_by(collection_cc);
-
-      if (collection_cc.has_init())
-      {
-         init_instructions.add(collection_cc.get_init());
-      }
-
-      init_instructions.add
-      (
-         new SetValue(result_as_address, collection_cc.get_computation())
-      );
-
-      collection_cc.release_registers(init_instructions);
-
-      collection_in_cc = new ComputationCompiler(compiler);
-
-      n.get_source_collection().get_visited_by(collection_in_cc);
-
-      assimilate(collection_in_cc);
-
-      init_instructions.add
-      (
-         AddElementsOf.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            collection_in_cc.get_address(),
-            result_as_address,
-            (
-               (tonkadur.fate.v1.lang.type.CollectionType)
-               n.get_target_collection().get_type()
-            ).is_set()
-         )
-      );
-   }
-*/
-/*
-   @Override
-   public void visit_fold
-   (
-      final tonkadur.fate.v1.lang.computation.Fold n
-   )
-   throws Throwable
-   {
-      final List<Computation> params;
-      final ComputationCompiler lambda_cc, in_collection_cc, default_cc;
-      final Register result;
-
-      result = reserve(TypeCompiler.compile(compiler, n.get_type()));
-
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      params = new ArrayList<Computation>();
-
-      for
-      (
-         final tonkadur.fate.v1.lang.meta.Computation p:
-            n.get_extra_parameters()
-      )
-      {
-         final ComputationCompiler param_cc;
-
-         param_cc = new ComputationCompiler(compiler);
-
-         p.get_visited_by(param_cc);
-
-         // Let's not re-compute the parameters on every iteration.
-         param_cc.generate_address();
-
-         assimilate(param_cc);
-
-         params.add(param_cc.get_computation());
-      }
-
-      default_cc = new ComputationCompiler(compiler);
-
-      n.get_initial_value().get_visited_by(default_cc);
-
-      if (default_cc.has_init())
-      {
-         init_instructions.add(default_cc.get_init());
-      }
-
-      init_instructions.add
-      (
-         new SetValue(result_as_address, default_cc.get_computation())
-      );
-
-      default_cc.release_registers(init_instructions);
-
-      lambda_cc = new ComputationCompiler(compiler);
-
-      n.get_lambda_function().get_visited_by(lambda_cc);
-
-      assimilate(lambda_cc);
-
-      in_collection_cc = new ComputationCompiler(compiler);
-
-      n.get_collection().get_visited_by(in_collection_cc);
-
-      assimilate(in_collection_cc);
-
-      init_instructions.add
-      (
-         Fold.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            lambda_cc.get_computation(),
-            result_as_address,
-            in_collection_cc.get_address(),
-            n.is_foldl(),
-            params
-         )
-      );
-   }
-*/
-/*
-   @Override
-   public void visit_map
-   (
-      final tonkadur.fate.v1.lang.computation.MapComputation n
-   )
-   throws Throwable
-   {
-      final List<Computation> params;
-      final ComputationCompiler lambda_cc, in_collection_cc;
-      final Register result;
-
-      result = reserve(TypeCompiler.compile(compiler, n.get_type()));
-
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      params = new ArrayList<Computation>();
-
-      for
-      (
-         final tonkadur.fate.v1.lang.meta.Computation p:
-            n.get_extra_parameters()
-      )
-      {
-         final ComputationCompiler param_cc;
-
-         param_cc = new ComputationCompiler(compiler);
-
-         p.get_visited_by(param_cc);
-
-         // Let's not re-compute the parameters on every iteration.
-         param_cc.generate_address();
-
-         assimilate(param_cc);
-
-         params.add(param_cc.get_computation());
-      }
-
-      lambda_cc = new ComputationCompiler(compiler);
-
-      n.get_lambda_function().get_visited_by(lambda_cc);
-
-      assimilate(lambda_cc);
-
-      in_collection_cc = new ComputationCompiler(compiler);
-
-      n.get_collection().get_visited_by(in_collection_cc);
-
-      assimilate(in_collection_cc);
-
-      init_instructions.add
-      (
-         MapLambda.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            lambda_cc.get_computation(),
-            in_collection_cc.get_address(),
-            result_as_address,
-            (
-               (tonkadur.fate.v1.lang.type.CollectionType)
-               n.get_collection().get_type()
-            ).is_set(),
-            params
-         )
-      );
-   }
-*/
-/*
-   @Override
-   public void visit_range
-   (
-      final tonkadur.fate.v1.lang.computation.Range n
-   )
-   throws Throwable
-   {
-      final List<Instruction> while_body;
-      final ComputationCompiler start_cc, end_cc, inc_cc;
-      final Register result, iterator, accumulator;
-      final Address new_element_addr;
-
-      while_body = new ArrayList<Instruction>();
-
-      result = reserve(MapType.MAP_TO_INT);
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      start_cc = new ComputationCompiler(compiler);
-      end_cc = new ComputationCompiler(compiler);
-      inc_cc = new ComputationCompiler(compiler);
-
-      n.get_start().get_visited_by(start_cc);
-      start_cc.generate_address();
-
-      n.get_end().get_visited_by(end_cc);
-      end_cc.generate_address();
-
-      n.get_increment().get_visited_by(inc_cc);
-      inc_cc.generate_address();
-
-      assimilate(start_cc);
-      assimilate(end_cc);
-      assimilate(inc_cc);
-
-      iterator = reserve(Type.INT);
-      accumulator = reserve(Type.INT);
-
-      init_instructions.add
-      (
-         new SetValue(iterator.get_address(), Constant.ZERO)
-      );
-      init_instructions.add
-      (
-         new SetValue(accumulator.get_address(), start_cc.get_computation())
-      );
-
-      new_element_addr =
-         new RelativeAddress
-         (
-            result_as_address,
-            new Cast(iterator.get_value(), Type.STRING),
-            Type.INT
-         );
-
-      while_body.add(new Initialize(new_element_addr));
-      while_body.add
-      (
-         new SetValue(new_element_addr, accumulator.get_value())
-      );
-      while_body.add
-      (
-         new SetValue
-         (
-            accumulator.get_address(),
-            Operation.plus(accumulator.get_value(), inc_cc.get_computation())
-         )
-      );
-      while_body.add
-      (
-         new SetValue
-         (
-            iterator.get_address(),
-            Operation.plus(iterator.get_value(), Constant.ONE)
-         )
-      );
-
-      init_instructions.add
-      (
-         While.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            Operation.or
-            (
-               Operation.and
-               (
-                  Operation.greater_than
-                  (
-                     inc_cc.get_computation(),
-                     Constant.ZERO
-                  ),
-                  Operation.less_equal_than
-                  (
-                     accumulator.get_value(),
-                     end_cc.get_computation()
-                  )
-               ),
-               Operation.and
-               (
-                  Operation.less_equal_than
-                  (
-                     inc_cc.get_computation(),
-                     Constant.ZERO
-                  ),
-                  Operation.greater_equal_than
-                  (
-                     accumulator.get_value(),
-                     end_cc.get_computation()
-                  )
-               )
-            ),
-            compiler.assembler.merge(while_body)
-         )
-      );
-   }
-*/
-/*
-   @Override
-   public void visit_remove_all_of_element
-   (
-      final tonkadur.fate.v1.lang.computation.RemoveAllOfElementComputation n
-   )
-   throws Throwable
-   {
-      final ComputationCompiler address_compiler, target_compiler;
-      final Address collection_address;
-      final Register result;
-
-      result = reserve(TypeCompiler.compile(compiler, n.get_type()));
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      address_compiler = new ComputationCompiler(compiler);
-      target_compiler = new ComputationCompiler(compiler);
-
-      n.get_collection().get_visited_by(address_compiler);
-
-      if (address_compiler.has_init())
-      {
-         init_instructions.add(address_compiler.get_init());
-      }
-
-      init_instructions.add
-      (
-         new SetValue(result_as_address, address_compiler.get_computation())
-      );
-
-      address_compiler.release_registers(init_instructions);
-
-      n.get_element().get_visited_by(target_compiler);
-
-      assimilate(target_compiler);
-
-      init_instructions.add
-      (
-         RemoveAllOf.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            target_compiler.get_computation(),
-            new Size(result_as_address),
-            result_as_address
-         )
-      );
-   }
-*/
-/*
-   @Override
-   public void visit_remove_element_at
-   (
-      final tonkadur.fate.v1.lang.computation.RemoveElementAtComputation n
-   )
-   throws Throwable
-   {
-      final ComputationCompiler address_compiler, target_compiler;
-      final Address collection_address;
-      final Register result, target_index;
-
-      result = reserve(TypeCompiler.compile(compiler, n.get_type()));
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      address_compiler = new ComputationCompiler(compiler);
-      target_compiler = new ComputationCompiler(compiler);
-
-      n.get_collection().get_visited_by(address_compiler);
-
-      if (address_compiler.has_init())
-      {
-         init_instructions.add(address_compiler.get_init());
-      }
-
-      init_instructions.add
-      (
-         new SetValue(result_as_address, address_compiler.get_computation())
-      );
-
-      address_compiler.release_registers(init_instructions);
-
-      n.get_index().get_visited_by(target_compiler);
-
-      target_compiler.generate_address();
-
-      assimilate(target_compiler);
-
-      init_instructions.add
-      (
-         RemoveAt.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            target_compiler.get_address(),
-            new Size(result_as_address),
-            result_as_address
-         )
-      );
-   }
-*/
-/*
-   @Override
-   public void visit_remove_element
-   (
-      final tonkadur.fate.v1.lang.computation.RemoveElementComputation n
-   )
-   throws Throwable
-   {
-      final ComputationCompiler elem_cc, collection_cc;
-      final Register result;
-
-      elem_cc = new ComputationCompiler(compiler);
-      collection_cc = new ComputationCompiler(compiler);
-
-      result = reserve(TypeCompiler.compile(compiler, n.get_type()));
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      n.get_collection().get_visited_by(collection_cc);
-
-      if (collection_cc.has_init())
-      {
-         init_instructions.add(collection_cc.get_init());
-      }
-
-      init_instructions.add
-      (
-         new SetValue(result_as_address, collection_cc.get_computation())
-      );
-
-      collection_cc.release_registers(init_instructions);
-
-      n.get_element().get_visited_by(elem_cc);
-
-      elem_cc.generate_address();
-
-      assimilate(elem_cc);
-
-      init_instructions.add
-      (
-         RemoveOneOf.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            elem_cc.get_computation(),
-            result_as_address,
-            (
-               (tonkadur.fate.v1.lang.type.CollectionType)
-               n.get_collection().get_type()
-            ).is_set()
-         )
-      );
-   }
-*/
-/*
-   @Override
-   public void visit_reverse_list
-   (
-      final tonkadur.fate.v1.lang.computation.ReverseListComputation n
-   )
-   throws Throwable
-   {
-      final ComputationCompiler address_compiler;
-      final Register result;
-
-      result = reserve(TypeCompiler.compile(compiler, n.get_type()));
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      address_compiler = new ComputationCompiler(compiler);
-
-      n.get_collection().get_visited_by(address_compiler);
-
-      if (address_compiler.has_init())
-      {
-         init_instructions.add(address_compiler.get_init());
-      }
-
-      init_instructions.add
-      (
-         new SetValue(result_as_address, address_compiler.get_computation())
-      );
-
-      address_compiler.release_registers(init_instructions);
-
-      init_instructions.add
-      (
-         ReverseList.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            new Size(result_as_address),
-            result_as_address
-         )
-      );
-   }
-*/
-/*
-   @Override
-   public void visit_shuffle
-   (
-      final tonkadur.fate.v1.lang.computation.ShuffleComputation n
-   )
-   throws Throwable
-   {
-      final ComputationCompiler address_compiler;
-      final Register result;
-
-      result = reserve(TypeCompiler.compile(compiler, n.get_type()));
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      address_compiler = new ComputationCompiler(compiler);
 
-      n.get_collection().get_visited_by(address_compiler);
-
-      if (address_compiler.has_init())
-      {
-         init_instructions.add(address_compiler.get_init());
-      }
-
-      init_instructions.add
-      (
-         new SetValue(result_as_address, address_compiler.get_computation())
-      );
-
-      address_compiler.release_registers(init_instructions);
-
-      init_instructions.add
-      (
-         Shuffle.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            result_as_address
-         )
-      );
-   }
-*/
-/*
-   private void visit_merge_with_defaults
-   (
-      final tonkadur.fate.v1.lang.computation.MergeComputation n
-   )
-   throws Throwable
-   {
-      final List<Computation> params;
-      final ComputationCompiler lambda_cc, default_a_cc, default_b_cc;
-      final ComputationCompiler in_collection_a_cc, in_collection_b_cc;
-      final Register result;
-
-      result = reserve(TypeCompiler.compile(compiler, n.get_type()));
-
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      params = new ArrayList<Computation>();
-
-      for
-      (
-         final tonkadur.fate.v1.lang.meta.Computation p:
-            n.get_extra_parameters()
-      )
-      {
-         final ComputationCompiler param_cc;
-
-         param_cc = new ComputationCompiler(compiler);
-
-         p.get_visited_by(param_cc);
-
-         // Let's not re-compute the parameters on every iteration.
-         param_cc.generate_address();
-
-         assimilate(param_cc);
-
-         params.add(param_cc.get_computation());
-      }
-
-      lambda_cc = new ComputationCompiler(compiler);
-
-      n.get_lambda_function().get_visited_by(lambda_cc);
-
-      assimilate(lambda_cc);
-
-      default_a_cc = new ComputationCompiler(compiler);
-
-      n.get_default_a().get_visited_by(default_a_cc);
-
-      default_a_cc.generate_address();
-
-      assimilate(default_a_cc);
-
-      default_b_cc = new ComputationCompiler(compiler);
-
-      n.get_default_b().get_visited_by(default_b_cc);
-
-      default_b_cc.generate_address();
-
-      assimilate(default_b_cc);
-
-      in_collection_a_cc = new ComputationCompiler(compiler);
-
-      n.get_collection_in_a().get_visited_by(in_collection_a_cc);
-
-      assimilate(in_collection_a_cc);
-
-      in_collection_b_cc = new ComputationCompiler(compiler);
-
-      n.get_collection_in_b().get_visited_by(in_collection_b_cc);
-
-      assimilate(in_collection_b_cc);
-
-      init_instructions.add
-      (
-         MergeLambda.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            lambda_cc.get_computation(),
-            default_a_cc.get_computation(),
-            in_collection_a_cc.get_address(),
-            default_b_cc.get_computation(),
-            in_collection_b_cc.get_address(),
-            result_as_address,
-            n.to_set(),
-            params
-         )
-      );
-   }
-*/
-/*
-   @Override
-   public void visit_merge
-   (
-      final tonkadur.fate.v1.lang.computation.MergeComputation n
-   )
-   throws Throwable
-   {
-      if (n.get_default_a() != null)
-      {
-         visit_merge_with_defaults(n);
-
-         return;
-      }
-
-      final List<Computation> params;
-      final ComputationCompiler lambda_cc;
-      final ComputationCompiler in_collection_a_cc, in_collection_b_cc;
-      final Register result;
-
-      result = reserve(TypeCompiler.compile(compiler, n.get_type()));
-
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      params = new ArrayList<Computation>();
-
-      for
-      (
-         final tonkadur.fate.v1.lang.meta.Computation p:
-            n.get_extra_parameters()
-      )
-      {
-         final ComputationCompiler param_cc;
-
-         param_cc = new ComputationCompiler(compiler);
-
-         p.get_visited_by(param_cc);
-
-         // Let's not re-compute the parameters on every iteration.
-         param_cc.generate_address();
-
-         assimilate(param_cc);
-
-         params.add(param_cc.get_computation());
-      }
-
-      lambda_cc = new ComputationCompiler(compiler);
-
-      n.get_lambda_function().get_visited_by(lambda_cc);
-
-      assimilate(lambda_cc);
-
-      in_collection_a_cc = new ComputationCompiler(compiler);
-
-      n.get_collection_in_a().get_visited_by(in_collection_a_cc);
-
-      assimilate(in_collection_a_cc);
-
-      in_collection_b_cc = new ComputationCompiler(compiler);
-
-      n.get_collection_in_b().get_visited_by(in_collection_b_cc);
-
-      assimilate(in_collection_b_cc);
-
-      init_instructions.add
-      (
-         MergeLambda.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            lambda_cc.get_computation(),
-            in_collection_a_cc.get_address(),
-            in_collection_b_cc.get_address(),
-            result_as_address,
-            n.to_set(),
-            params
-         )
-      );
-   }
-*/
-/*
-   private void visit_indexed_merge_with_defaults
-   (
-      final tonkadur.fate.v1.lang.computation.IndexedMergeComputation n
-   )
-   throws Throwable
-   {
-      final List<Computation> params;
-      final ComputationCompiler lambda_cc, default_a_cc, default_b_cc;
-      final ComputationCompiler in_collection_a_cc, in_collection_b_cc;
-      final Register result;
-
-      result = reserve(TypeCompiler.compile(compiler, n.get_type()));
-
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      params = new ArrayList<Computation>();
-
-      for
-      (
-         final tonkadur.fate.v1.lang.meta.Computation p:
-            n.get_extra_parameters()
-      )
-      {
-         final ComputationCompiler param_cc;
-
-         param_cc = new ComputationCompiler(compiler);
-
-         p.get_visited_by(param_cc);
-
-         // Let's not re-compute the parameters on every iteration.
-         param_cc.generate_address();
-
-         assimilate(param_cc);
-
-         params.add(param_cc.get_computation());
-      }
-
-      lambda_cc = new ComputationCompiler(compiler);
-
-      n.get_lambda_function().get_visited_by(lambda_cc);
-
-      assimilate(lambda_cc);
-
-      default_a_cc = new ComputationCompiler(compiler);
-
-      n.get_default_a().get_visited_by(default_a_cc);
-
-      default_a_cc.generate_address();
-
-      assimilate(default_a_cc);
-
-      default_b_cc = new ComputationCompiler(compiler);
-
-      n.get_default_b().get_visited_by(default_b_cc);
-
-      default_b_cc.generate_address();
-
-      assimilate(default_b_cc);
-
-      in_collection_a_cc = new ComputationCompiler(compiler);
-
-      n.get_collection_in_a().get_visited_by(in_collection_a_cc);
-
-      assimilate(in_collection_a_cc);
-
-      in_collection_b_cc = new ComputationCompiler(compiler);
-
-      n.get_collection_in_b().get_visited_by(in_collection_b_cc);
-
-      assimilate(in_collection_b_cc);
-
-      init_instructions.add
-      (
-         IndexedMergeLambda.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            lambda_cc.get_computation(),
-            default_a_cc.get_computation(),
-            in_collection_a_cc.get_address(),
-            default_b_cc.get_computation(),
-            in_collection_b_cc.get_address(),
-            result_as_address,
-            n.to_set(),
-            params
-         )
-      );
-   }
-*/
-/*
-   @Override
-   public void visit_indexed_merge
-   (
-      final tonkadur.fate.v1.lang.computation.IndexedMergeComputation n
-   )
-   throws Throwable
-   {
-      if (n.get_default_a() != null)
-      {
-         visit_indexed_merge_with_defaults(n);
-
-         return;
-      }
-
-      final List<Computation> params;
-      final ComputationCompiler lambda_cc;
-      final ComputationCompiler in_collection_a_cc, in_collection_b_cc;
-      final Register result;
-
-      result = reserve(TypeCompiler.compile(compiler, n.get_type()));
-
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      params = new ArrayList<Computation>();
-
-      for
-      (
-         final tonkadur.fate.v1.lang.meta.Computation p:
-            n.get_extra_parameters()
-      )
-      {
-         final ComputationCompiler param_cc;
-
-         param_cc = new ComputationCompiler(compiler);
-
-         p.get_visited_by(param_cc);
-
-         // Let's not re-compute the parameters on every iteration.
-         param_cc.generate_address();
-
-         assimilate(param_cc);
-
-         params.add(param_cc.get_computation());
-      }
-
-      lambda_cc = new ComputationCompiler(compiler);
-
-      n.get_lambda_function().get_visited_by(lambda_cc);
-
-      assimilate(lambda_cc);
-
-      in_collection_a_cc = new ComputationCompiler(compiler);
-
-      n.get_collection_in_a().get_visited_by(in_collection_a_cc);
-
-      assimilate(in_collection_a_cc);
-
-      in_collection_b_cc = new ComputationCompiler(compiler);
-
-      n.get_collection_in_b().get_visited_by(in_collection_b_cc);
-
-      assimilate(in_collection_b_cc);
-
-      init_instructions.add
-      (
-         IndexedMergeLambda.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            lambda_cc.get_computation(),
-            in_collection_a_cc.get_address(),
-            in_collection_b_cc.get_address(),
-            result_as_address,
-            n.to_set(),
-            params
-         )
-      );
-   }
-*/
-/*
-   @Override
-   public void visit_sublist
-   (
-      final tonkadur.fate.v1.lang.computation.SubListComputation n
-   )
-   throws Throwable
-   {
-      final ComputationCompiler address_compiler, start_compiler, end_compiler;
-      final Register result;
-
-      result = reserve(TypeCompiler.compile(compiler, n.get_type()));
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      address_compiler = new ComputationCompiler(compiler);
-      start_compiler = new ComputationCompiler(compiler);
-      end_compiler = new ComputationCompiler(compiler);
-
-      n.get_collection().get_visited_by(address_compiler);
-
-      if (address_compiler.has_init())
-      {
-         init_instructions.add(address_compiler.get_init());
-      }
-
-      n.get_start_index().get_visited_by(start_compiler);
-
-      if (start_compiler.has_init())
-      {
-         init_instructions.add(start_compiler.get_init());
-      }
-
-      n.get_end_index().get_visited_by(end_compiler);
-
-      if (end_compiler.has_init())
-      {
-         init_instructions.add(end_compiler.get_init());
-      }
-
-      init_instructions.add
-      (
-         SubList.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            start_compiler.get_computation(),
-            end_compiler.get_computation(),
-            address_compiler.get_address(),
-            result_as_address
-         )
-      );
-
-      start_compiler.release_registers(init_instructions);
-      end_compiler.release_registers(init_instructions);
-      address_compiler.release_registers(init_instructions);
-   }
-*/
-/*
-   @Override
-   public void visit_partition
-   (
-      final tonkadur.fate.v1.lang.computation.PartitionComputation n
-   )
-   throws Throwable
-   {
-      final List<Computation> params;
-      final ComputationCompiler lambda_cc, in_collection_cc;
-      final Address car_addr, cdr_addr;
-      final Register result;
-
-      result = reserve(DictType.WILD);
-
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      params = new ArrayList<Computation>();
-
-      for
-      (
-         final tonkadur.fate.v1.lang.meta.Computation p:
-            n.get_extra_parameters()
-      )
-      {
-         final ComputationCompiler param_cc;
-
-         param_cc = new ComputationCompiler(compiler);
-
-         p.get_visited_by(param_cc);
-
-         // Let's not re-compute the parameters on every iteration.
-         param_cc.generate_address();
-
-         assimilate(param_cc);
-
-         params.add(param_cc.get_computation());
-      }
-
-      lambda_cc = new ComputationCompiler(compiler);
-
-      n.get_lambda_function().get_visited_by(lambda_cc);
-
-      assimilate(lambda_cc);
-
-      in_collection_cc = new ComputationCompiler(compiler);
-
-      n.get_collection().get_visited_by(in_collection_cc);
-
-      if (in_collection_cc.has_init())
-      {
-         init_instructions.add(in_collection_cc.get_init());
-      }
-
-      car_addr =
-         new RelativeAddress
-         (
-            result_as_address,
-            new Constant(Type.STRING, "0"),
-            in_collection_cc.get_computation().get_type()
-         );
-
-      init_instructions.add
-      (
-         new SetValue
-         (
-            car_addr,
-            in_collection_cc.get_computation()
-         )
-      );
-
-      cdr_addr =
-         new RelativeAddress
-         (
-            result_as_address,
-            new Constant(Type.STRING, "1"),
-            in_collection_cc.get_computation().get_type()
-         );
-
-      in_collection_cc.release_registers(init_instructions);
-
-      init_instructions.add(new Initialize(cdr_addr));
-
-      init_instructions.add
-      (
-         PartitionLambda.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            lambda_cc.get_computation(),
-            car_addr,
-            cdr_addr,
-            (
-               (tonkadur.fate.v1.lang.type.CollectionType)
-               n.get_collection().get_type()
-            ).is_set(),
-            params
-         )
-      );
-   }
-*/
-/*
-   @Override
-   public void visit_indexed_partition
-   (
-      final tonkadur.fate.v1.lang.computation.IndexedPartitionComputation n
-   )
-   throws Throwable
-   {
-      final List<Computation> params;
-      final ComputationCompiler lambda_cc, in_collection_cc;
-      final Address car_addr, cdr_addr;
-      final Register result;
-
-      result = reserve(DictType.WILD);
-
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      params = new ArrayList<Computation>();
-
-      for
-      (
-         final tonkadur.fate.v1.lang.meta.Computation p:
-            n.get_extra_parameters()
-      )
-      {
-         final ComputationCompiler param_cc;
-
-         param_cc = new ComputationCompiler(compiler);
-
-         p.get_visited_by(param_cc);
-
-         // Let's not re-compute the parameters on every iteration.
-         param_cc.generate_address();
-
-         assimilate(param_cc);
-
-         params.add(param_cc.get_computation());
-      }
-
-      lambda_cc = new ComputationCompiler(compiler);
-
-      n.get_lambda_function().get_visited_by(lambda_cc);
-
-      assimilate(lambda_cc);
-
-      in_collection_cc = new ComputationCompiler(compiler);
-
-      n.get_collection().get_visited_by(in_collection_cc);
-
-      if (in_collection_cc.has_init())
-      {
-         init_instructions.add(in_collection_cc.get_init());
-      }
-
-      car_addr =
-         new RelativeAddress
-         (
-            result_as_address,
-            new Constant(Type.STRING, "0"),
-            in_collection_cc.get_computation().get_type()
-         );
-
-      init_instructions.add
-      (
-         new SetValue
-         (
-            car_addr,
-            in_collection_cc.get_computation()
-         )
-      );
-
-      cdr_addr =
-         new RelativeAddress
-         (
-            result_as_address,
-            new Constant(Type.STRING, "1"),
-            in_collection_cc.get_computation().get_type()
-         );
-
-      in_collection_cc.release_registers(init_instructions);
-
-      init_instructions.add(new Initialize(cdr_addr));
-
-      init_instructions.add
-      (
-         IndexedPartitionLambda.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            lambda_cc.get_computation(),
-            car_addr,
-            cdr_addr,
-            (
-               (tonkadur.fate.v1.lang.type.CollectionType)
-               n.get_collection().get_type()
-            ).is_set(),
-            params
-         )
-      );
-   }
-*/
-/*
-   @Override
-   public void visit_sort
-   (
-      final tonkadur.fate.v1.lang.computation.SortComputation n
-   )
-   throws Throwable
-   {
-      final List<Computation> params;
-      final ComputationCompiler lambda_cc, in_collection_cc;
-      final Register result;
-
-      result = reserve(TypeCompiler.compile(compiler, n.get_type()));
-
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      params = new ArrayList<Computation>();
-
-      for
-      (
-         final tonkadur.fate.v1.lang.meta.Computation p:
-            n.get_extra_parameters()
-      )
-      {
-         final ComputationCompiler param_cc;
-
-         param_cc = new ComputationCompiler(compiler);
-
-         p.get_visited_by(param_cc);
-
-         // Let's not re-compute the parameters on every iteration.
-         param_cc.generate_address();
-
-         assimilate(param_cc);
-
-         params.add(param_cc.get_computation());
-      }
-
-      lambda_cc = new ComputationCompiler(compiler);
-
-      n.get_lambda_function().get_visited_by(lambda_cc);
-
-      assimilate(lambda_cc);
-
-      in_collection_cc = new ComputationCompiler(compiler);
-
-      n.get_collection().get_visited_by(in_collection_cc);
-
-      if (in_collection_cc.has_init())
-      {
-         init_instructions.add(in_collection_cc.get_init());
-      }
-
-      init_instructions.add
-      (
-         Sort.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            lambda_cc.get_computation(),
-            in_collection_cc.get_address(),
-            result_as_address,
-            params
-         )
-      );
-
-      in_collection_cc.release_registers(init_instructions);
-   }
-*/
-
-/*
-   @Override
-   public void visit_filter
-   (
-      final tonkadur.fate.v1.lang.computation.FilterComputation n
-   )
-   throws Throwable
-   {
-      final List<Computation> params;
-      final ComputationCompiler lambda_cc, in_collection_cc;
-      final Register result;
-
-      result = reserve(TypeCompiler.compile(compiler, n.get_type()));
-
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      params = new ArrayList<Computation>();
-
-      for
-      (
-         final tonkadur.fate.v1.lang.meta.Computation p:
-            n.get_extra_parameters()
-      )
-      {
-         final ComputationCompiler param_cc;
-
-         param_cc = new ComputationCompiler(compiler);
-
-         p.get_visited_by(param_cc);
-
-         // Let's not re-compute the parameters on every iteration.
-         param_cc.generate_address();
-
-         assimilate(param_cc);
-
-         params.add(param_cc.get_computation());
-      }
-
-      lambda_cc = new ComputationCompiler(compiler);
-
-      n.get_lambda_function().get_visited_by(lambda_cc);
-
-      assimilate(lambda_cc);
-
-      in_collection_cc = new ComputationCompiler(compiler);
-
-      n.get_collection().get_visited_by(in_collection_cc);
-
-      if (in_collection_cc.has_init())
-      {
-         init_instructions.add(in_collection_cc.get_init());
-      }
-
-      init_instructions.add
-      (
-         new SetValue(result_as_address, in_collection_cc.get_computation())
-      );
-
-      in_collection_cc.release_registers(init_instructions);
-
-      init_instructions.add
-      (
-         FilterLambda.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            lambda_cc.get_computation(),
-            result_as_address,
-            params
-         )
-      );
-   }
-*/
-/*
-   @Override
-   public void visit_indexed_filter
-   (
-      final tonkadur.fate.v1.lang.computation.IndexedFilterComputation n
-   )
-   throws Throwable
-   {
-      final List<Computation> params;
-      final ComputationCompiler lambda_cc, in_collection_cc;
-      final Register result;
-
-      result = reserve(TypeCompiler.compile(compiler, n.get_type()));
-
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      params = new ArrayList<Computation>();
-
-      for
-      (
-         final tonkadur.fate.v1.lang.meta.Computation p:
-            n.get_extra_parameters()
-      )
-      {
-         final ComputationCompiler param_cc;
-
-         param_cc = new ComputationCompiler(compiler);
-
-         p.get_visited_by(param_cc);
-
-         // Let's not re-compute the parameters on every iteration.
-         param_cc.generate_address();
-
-         assimilate(param_cc);
-
-         params.add(param_cc.get_computation());
-      }
-
-      lambda_cc = new ComputationCompiler(compiler);
-
-      n.get_lambda_function().get_visited_by(lambda_cc);
-
-      assimilate(lambda_cc);
-
-      in_collection_cc = new ComputationCompiler(compiler);
-
-      n.get_collection().get_visited_by(in_collection_cc);
-
-      if (in_collection_cc.has_init())
-      {
-         init_instructions.add(in_collection_cc.get_init());
-      }
-
-      init_instructions.add
-      (
-         new SetValue(result_as_address, in_collection_cc.get_computation())
-      );
-
-      in_collection_cc.release_registers(init_instructions);
-
-      init_instructions.add
-      (
-         IndexedFilterLambda.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            lambda_cc.get_computation(),
-            result_as_address,
-            params
-         )
-      );
-   }
-*/
-/*
-   @Override
-   public void visit_indexed_map
-   (
-      final tonkadur.fate.v1.lang.computation.IndexedMapComputation n
-   )
-   throws Throwable
-   {
-      final List<Computation> params;
-      final ComputationCompiler lambda_cc, in_collection_cc;
-      final Register result;
-
-      result = reserve(TypeCompiler.compile(compiler, n.get_type()));
-
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      params = new ArrayList<Computation>();
-
-      for
-      (
-         final tonkadur.fate.v1.lang.meta.Computation p:
-            n.get_extra_parameters()
-      )
-      {
-         final ComputationCompiler param_cc;
-
-         param_cc = new ComputationCompiler(compiler);
-
-         p.get_visited_by(param_cc);
-
-         // Let's not re-compute the parameters on every iteration.
-         param_cc.generate_address();
-
-         assimilate(param_cc);
-
-         params.add(param_cc.get_computation());
-      }
-
-      lambda_cc = new ComputationCompiler(compiler);
-
-      n.get_lambda_function().get_visited_by(lambda_cc);
-
-      assimilate(lambda_cc);
-
-      in_collection_cc = new ComputationCompiler(compiler);
-
-      n.get_collection().get_visited_by(in_collection_cc);
-
-      assimilate(in_collection_cc);
-
-      init_instructions.add
-      (
-         IndexedMapLambda.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            lambda_cc.get_computation(),
-            in_collection_cc.get_address(),
-            result_as_address,
-            (
-               (tonkadur.fate.v1.lang.type.CollectionType)
-               n.get_collection().get_type()
-            ).is_set(),
-            params
-         )
-      );
-   }
-*/
-/*
-   @Override
-   public void visit_push_element
-   (
-      final tonkadur.fate.v1.lang.computation.PushElementComputation n
-   )
-   throws Throwable
-   {
-      final ComputationCompiler address_compiler, element_compiler;
-      final Register result, collection_size, index;
-
-      result = reserve(TypeCompiler.compile(compiler, n.get_type()));
-      result_as_address = result.get_address();
-      result_as_computation = result.get_value();
-
-      address_compiler = new ComputationCompiler(compiler);
-      element_compiler = new ComputationCompiler(compiler);
-
-      n.get_collection().get_visited_by(address_compiler);
-
-      if (address_compiler.has_init())
-      {
-         init_instructions.add(address_compiler.get_init());
-      }
-
-      init_instructions.add
-      (
-         new SetValue(result_as_address, address_compiler.get_computation())
-      );
-
-      address_compiler.release_registers(init_instructions);
-
-      n.get_element().get_visited_by(element_compiler);
-
-      if (element_compiler.has_init())
-      {
-         init_instructions.add(element_compiler.get_init());
-      }
-
-      collection_size = reserve(Type.INT);
-      index = reserve(Type.INT);
-
-      init_instructions.add
-      (
-         new SetValue
-         (
-            collection_size.get_address(),
-            new Size(result_as_address)
-         )
-      );
-
-      init_instructions.add
-      (
-         new SetValue
-         (
-            index.get_address(),
-            (n.is_from_left() ? Constant.ZERO : collection_size.get_value())
-         )
-      );
-
-      init_instructions.add
-      (
-         InsertAt.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            index.get_address(),
-            element_compiler.get_computation(),
-            collection_size.get_value(),
-            result_as_address
-         )
-      );
-
-      element_compiler.release_registers(init_instructions);
-   }
-*/
-/*
-   @Override
-   public void visit_pop_element
-   (
-      final tonkadur.fate.v1.lang.computation.PopElementComputation n
-   )
-   throws Throwable
-   {
-      final ComputationCompiler address_compiler;
-      final Register result;
-      final Address car_addr, cdr_addr;
-
-      result = reserve(DictType.WILD);
-      result_as_computation = result.get_value();
-      result_as_address = result.get_address();
-
-      address_compiler = new ComputationCompiler(compiler);
-
-      n.get_collection().get_visited_by(address_compiler);
-
-      if (address_compiler.has_init())
-      {
-         init_instructions.add(address_compiler.get_init());
-      }
-
-      init_instructions.add
-      (
-         new SetValue(result_as_address, address_compiler.get_computation())
-      );
-
-      car_addr =
-         new RelativeAddress
-         (
-            result_as_address,
-            new Constant(Type.STRING, "0"),
-            address_compiler.get_computation().get_type()
-         );
-
-      init_instructions.add
-      (
-         new SetValue
-         (
-            car_addr,
-            address_compiler.get_computation()
-         )
-      );
-
-      address_compiler.release_registers(init_instructions);
-
-      cdr_addr =
-         new RelativeAddress
-         (
-            result_as_address,
-            new Constant(Type.STRING, "1"),
-            TypeCompiler.compile
-            (
-               compiler,
-               (
-                  (tonkadur.fate.v1.lang.type.CollectionType)
-                     n.get_collection().get_type()
-               ).get_content_type()
-            )
-         );
-
-      init_instructions.add(new Initialize(cdr_addr));
-
-      init_instructions.add
-      (
-         PopElement.generate
-         (
-            compiler.registers(),
-            compiler.assembler(),
-            car_addr,
-            cdr_addr,
-            n.is_from_left()
-         )
-      );
-   }
-*/
    @Override
    public void visit_set_fields
    (
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/AccessCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/AccessCompiler.java
new file mode 100644
index 0000000..1960da0
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/AccessCompiler.java
@@ -0,0 +1,65 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import tonkadur.fate.v1.lang.computation.generic.Access;
+
+import tonkadur.wyrd.v1.lang.computation.Cast;
+import tonkadur.wyrd.v1.lang.computation.RelativeAddress;
+
+import tonkadur.wyrd.v1.lang.type.Type;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class AccessCompiler extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return Access.class;
+   }
+
+   public AccessCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final Access source;
+      final ComputationCompiler extra_address_cc, base_address_cc;
+
+      source = (Access) computation;
+
+      base_address_cc = new ComputationCompiler(compiler);
+      extra_address_cc = new ComputationCompiler(compiler);
+
+      source.get_parent().get_visited_by(base_address_cc);
+      source.get_index().get_visited_by(extra_address_cc);
+
+      base_address_cc.generate_address();
+
+      assimilate(base_address_cc);
+      assimilate(extra_address_cc);
+
+      result_as_address =
+         new RelativeAddress
+         (
+            base_address_cc.get_address(),
+            new Cast(extra_address_cc.get_computation(), Type.STRING),
+            TypeCompiler.compile
+            (
+               compiler,
+               (
+                  (tonkadur.fate.v1.lang.type.CollectionType)
+                     source.get_parent().get_type()
+               ).get_content_type()
+            )
+         );
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/AddElementAtComputationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/AddElementAtComputationCompiler.java
new file mode 100644
index 0000000..dd774f5
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/AddElementAtComputationCompiler.java
@@ -0,0 +1,130 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import tonkadur.fate.v1.lang.computation.generic.AddElementAtComputation;
+
+import tonkadur.wyrd.v1.lang.instruction.SetValue;
+
+import tonkadur.wyrd.v1.lang.computation.Constant;
+import tonkadur.wyrd.v1.lang.computation.IfElseComputation;
+import tonkadur.wyrd.v1.lang.computation.Operation;
+import tonkadur.wyrd.v1.lang.computation.Size;
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.lang.type.Type;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class AddElementAtComputationCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return AddElementAtComputation.class;
+   }
+
+   public AddElementAtComputationCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final AddElementAtComputation source;
+      final ComputationCompiler address_compiler, index_compiler;
+      final ComputationCompiler element_compiler;
+      final Register result, index, collection_size;
+
+      source = (AddElementAtComputation) computation;
+
+      result = reserve(TypeCompiler.compile(compiler, source.get_type()));
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      address_compiler = new ComputationCompiler(compiler);
+      index_compiler = new ComputationCompiler(compiler);
+      element_compiler = new ComputationCompiler(compiler);
+
+      source.get_collection().get_visited_by(address_compiler);
+
+      if (address_compiler.has_init())
+      {
+         init_instructions.add(address_compiler.get_init());
+      }
+
+      init_instructions.add
+      (
+         new SetValue(result_as_address, address_compiler.get_computation())
+      );
+
+      address_compiler.release_registers(init_instructions);
+
+      source.get_index().get_visited_by(index_compiler);
+
+      index_compiler.generate_address();
+      assimilate(index_compiler);
+
+      source.get_element().get_visited_by(element_compiler);
+      assimilate(element_compiler);
+
+      collection_size = reserve(Type.INT);
+      index = reserve(Type.INT);
+
+      init_instructions.add
+      (
+         new SetValue
+         (
+            collection_size.get_address(),
+            new Size(result_as_address)
+         )
+      );
+
+      init_instructions.add
+      (
+         new SetValue
+         (
+            index.get_address(),
+            new IfElseComputation
+            (
+               Operation.greater_than
+               (
+                  index_compiler.get_computation(),
+                  collection_size.get_value()
+               ),
+               collection_size.get_value(),
+               new IfElseComputation
+               (
+                  Operation.less_than
+                  (
+                     index_compiler.get_computation(),
+                     Constant.ZERO
+                  ),
+                  Constant.ZERO,
+                  index_compiler.get_computation()
+               )
+            )
+         )
+      );
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.InsertAt.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            index.get_address(),
+            element_compiler.get_computation(),
+            collection_size.get_value(),
+            result_as_address
+         )
+      );
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/AddElementComputationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/AddElementComputationCompiler.java
new file mode 100644
index 0000000..b1a3742
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/AddElementComputationCompiler.java
@@ -0,0 +1,82 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import tonkadur.fate.v1.lang.computation.generic.AddElementComputation;
+
+import tonkadur.wyrd.v1.lang.instruction.SetValue;
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.lang.type.Type;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class AddElementComputationCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return AddElementComputation.class;
+   }
+
+   public AddElementComputationCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final AddElementComputation source;
+      final ComputationCompiler address_compiler, element_compiler;
+      final Register result;
+
+      source = (AddElementComputation) computation;
+
+      result = reserve(TypeCompiler.compile(compiler, source.get_type()));
+
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      address_compiler = new ComputationCompiler(compiler);
+      element_compiler = new ComputationCompiler(compiler);
+
+      source.get_collection().get_visited_by(address_compiler);
+
+      if (address_compiler.has_init())
+      {
+         init_instructions.add(address_compiler.get_init());
+      }
+
+      init_instructions.add
+      (
+         new SetValue(result_as_address, address_compiler.get_computation())
+      );
+
+      address_compiler.release_registers(init_instructions);
+
+      source.get_element().get_visited_by(element_compiler);
+      assimilate(element_compiler);
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.AddElement.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            element_compiler.get_computation(),
+            result_as_address,
+            (
+               (tonkadur.fate.v1.lang.type.CollectionType)
+               source.get_collection().get_type()
+            ).is_set()
+         )
+      );
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/AddElementsOfComputationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/AddElementsOfComputationCompiler.java
new file mode 100644
index 0000000..4e57413
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/AddElementsOfComputationCompiler.java
@@ -0,0 +1,84 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import tonkadur.fate.v1.lang.computation.generic.AddElementsOfComputation;
+
+import tonkadur.wyrd.v1.lang.instruction.SetValue;
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.lang.type.Type;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class AddElementsOfComputationCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return AddElementsOfComputation.class;
+   }
+
+   public AddElementsOfComputationCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final AddElementsOfComputation source;
+      final ComputationCompiler collection_in_cc, collection_cc;
+      final Register result;
+
+      source = (AddElementsOfComputation) computation;
+
+      result = reserve(TypeCompiler.compile(compiler, source.get_type()));
+
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      collection_cc = new ComputationCompiler(compiler);
+
+      source.get_target_collection().get_visited_by(collection_cc);
+
+      if (collection_cc.has_init())
+      {
+         init_instructions.add(collection_cc.get_init());
+      }
+
+      init_instructions.add
+      (
+         new SetValue(result_as_address, collection_cc.get_computation())
+      );
+
+      collection_cc.release_registers(init_instructions);
+
+      collection_in_cc = new ComputationCompiler(compiler);
+
+      source.get_source_collection().get_visited_by(collection_in_cc);
+
+      assimilate(collection_in_cc);
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.AddElementsOf.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            collection_in_cc.get_address(),
+            result_as_address,
+            (
+               (tonkadur.fate.v1.lang.type.CollectionType)
+               source.get_target_collection().get_type()
+            ).is_set()
+         )
+      );
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/CarCdrCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/CarCdrCompiler.java
new file mode 100644
index 0000000..81a458a
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/CarCdrCompiler.java
@@ -0,0 +1,58 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import tonkadur.fate.v1.lang.computation.generic.CarCdr;
+
+import tonkadur.wyrd.v1.lang.computation.Constant;
+import tonkadur.wyrd.v1.lang.computation.RelativeAddress;
+
+import tonkadur.wyrd.v1.lang.type.Type;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class CarCdrCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return CarCdr.class;
+   }
+
+   public CarCdrCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final CarCdr source;
+      final ComputationCompiler address_cc;
+
+      source = (CarCdr) computation;
+
+      address_cc = new ComputationCompiler(compiler);
+
+      source.get_parent().get_visited_by(address_cc);
+
+      assimilate(address_cc);
+
+      result_as_address =
+         new RelativeAddress
+         (
+            address_cc.get_address(),
+            new Constant
+            (
+               Type.STRING,
+               (source.is_car()? "0" : "1")
+            ),
+            TypeCompiler.compile(compiler, source.get_type())
+         );
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/ConsComputationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/ConsComputationCompiler.java
new file mode 100644
index 0000000..8d73c6a
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/ConsComputationCompiler.java
@@ -0,0 +1,77 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import tonkadur.fate.v1.lang.computation.generic.ConsComputation;
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.lang.type.DictType;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class ConsComputationCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return ConsComputation.class;
+   }
+
+   public ConsComputationCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final ConsComputation source;
+      final ComputationCompiler car_compiler, cdr_compiler;
+      final Register result;
+
+      source = (ConsComputation) computation;
+
+      result = reserve(DictType.WILD);
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      car_compiler = new ComputationCompiler(compiler);
+
+      source.get_car().get_visited_by(car_compiler);
+
+      if (car_compiler.has_init())
+      {
+         init_instructions.add(car_compiler.get_init());
+      }
+
+      cdr_compiler = new ComputationCompiler(compiler);
+
+      source.get_cdr().get_visited_by(cdr_compiler);
+
+      if (cdr_compiler.has_init())
+      {
+         init_instructions.add(cdr_compiler.get_init());
+      }
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.CreateCons.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            result_as_address,
+            car_compiler.get_computation(),
+            cdr_compiler.get_computation()
+         )
+      );
+
+      car_compiler.release_registers(init_instructions);
+      cdr_compiler.release_registers(init_instructions);
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/CountOperatorCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/CountOperatorCompiler.java
new file mode 100644
index 0000000..ed2e3fb
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/CountOperatorCompiler.java
@@ -0,0 +1,132 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import tonkadur.fate.v1.lang.computation.generic.CountOperator;
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.lang.type.Type;
+
+import tonkadur.wyrd.v1.lang.instruction.SetValue;
+
+import tonkadur.wyrd.v1.lang.computation.Size;
+import tonkadur.wyrd.v1.lang.computation.IfElseComputation;
+import tonkadur.wyrd.v1.lang.computation.Constant;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class CountOperatorCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return CountOperator.class;
+   }
+
+   public CountOperatorCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final CountOperator source;
+      final ComputationCompiler collection_compiler, element_compiler;
+
+      source = (CountOperator) computation;
+
+      collection_compiler = new ComputationCompiler(compiler);
+      element_compiler = new ComputationCompiler(compiler);
+
+      source.get_collection().get_visited_by(collection_compiler);
+      source.get_element().get_visited_by(element_compiler);
+
+      collection_compiler.generate_address();
+
+      assimilate(collection_compiler);
+      assimilate(element_compiler);
+
+      if
+      (
+         (
+            (tonkadur.fate.v1.lang.type.CollectionType)
+               source.get_collection().get_type()
+         ).is_set()
+      )
+      {
+         final Register was_found, index, element;
+
+         was_found = reserve(Type.BOOL);
+         index = reserve(Type.INT);
+         element = reserve(element_compiler.get_computation().get_type());
+
+         init_instructions.add
+         (
+            new SetValue
+            (
+               element.get_address(),
+               element_compiler.get_computation()
+            )
+         );
+         init_instructions.add
+         (
+            tonkadur.wyrd.v1.compiler.util.BinarySearch.generate
+            (
+               compiler.registers(),
+               compiler.assembler(),
+               element.get_value(),
+               new Size(collection_compiler.get_address()),
+               collection_compiler.get_address(),
+               was_found.get_address(),
+               index.get_address()
+            )
+         );
+
+         result_as_computation =
+            new IfElseComputation
+            (
+               was_found.get_value(),
+               Constant.ONE,
+               Constant.ZERO
+            );
+      }
+      else
+      {
+         final Register result, element;
+
+         result = reserve(Type.INT);
+
+         result_as_address = result.get_address();
+         result_as_computation = result.get_value();
+
+         element = reserve(element_compiler.get_computation().get_type());
+
+         init_instructions.add
+         (
+            new SetValue
+            (
+               element.get_address(),
+               element_compiler.get_computation()
+            )
+         );
+         init_instructions.add
+         (
+            tonkadur.wyrd.v1.compiler.util.CountOccurrences.generate
+            (
+               compiler.registers(),
+               compiler.assembler(),
+               element.get_value(),
+               new Size(collection_compiler.get_address()),
+               collection_compiler.get_address(),
+               result_as_address
+            )
+         );
+      }
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/FilterComputationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/FilterComputationCompiler.java
new file mode 100644
index 0000000..b2123f7
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/FilterComputationCompiler.java
@@ -0,0 +1,110 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import java.util.List;
+import java.util.ArrayList;
+
+import tonkadur.fate.v1.lang.computation.generic.FilterComputation;
+
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.lang.instruction.SetValue;
+
+import tonkadur.wyrd.v1.lang.meta.Computation;
+
+import tonkadur.wyrd.v1.lang.type.Type;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class FilterComputationCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return FilterComputation.class;
+   }
+
+   public FilterComputationCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final FilterComputation source;
+      final List<Computation> params;
+      final ComputationCompiler lambda_cc, in_collection_cc;
+      final Register result;
+
+      source = (FilterComputation) computation;
+
+      result = reserve(TypeCompiler.compile(compiler, source.get_type()));
+
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      params = new ArrayList<Computation>();
+
+      for
+      (
+         final tonkadur.fate.v1.lang.meta.Computation p:
+            source.get_extra_parameters()
+      )
+      {
+         final ComputationCompiler param_cc;
+
+         param_cc = new ComputationCompiler(compiler);
+
+         p.get_visited_by(param_cc);
+
+         // Let's not re-compute the parameters on every iteration.
+         param_cc.generate_address();
+
+         assimilate(param_cc);
+
+         params.add(param_cc.get_computation());
+      }
+
+      lambda_cc = new ComputationCompiler(compiler);
+
+      source.get_lambda_function().get_visited_by(lambda_cc);
+
+      assimilate(lambda_cc);
+
+      in_collection_cc = new ComputationCompiler(compiler);
+
+      source.get_collection().get_visited_by(in_collection_cc);
+
+      if (in_collection_cc.has_init())
+      {
+         init_instructions.add(in_collection_cc.get_init());
+      }
+
+      init_instructions.add
+      (
+         new SetValue(result_as_address, in_collection_cc.get_computation())
+      );
+
+      in_collection_cc.release_registers(init_instructions);
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.FilterLambda.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            lambda_cc.get_computation(),
+            result_as_address,
+            params
+         )
+      );
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/FoldCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/FoldCompiler.java
new file mode 100644
index 0000000..9dc4106
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/FoldCompiler.java
@@ -0,0 +1,118 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import java.util.List;
+import java.util.ArrayList;
+
+import tonkadur.fate.v1.lang.computation.generic.Fold;
+
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.lang.instruction.SetValue;
+
+import tonkadur.wyrd.v1.lang.meta.Computation;
+
+import tonkadur.wyrd.v1.lang.type.Type;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class FoldCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return Fold.class;
+   }
+
+   public FoldCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final Fold source;
+      final List<Computation> params;
+      final ComputationCompiler lambda_cc, in_collection_cc, default_cc;
+      final Register result;
+
+      source = (Fold) computation;
+
+      result = reserve(TypeCompiler.compile(compiler, source.get_type()));
+
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      params = new ArrayList<Computation>();
+
+      for
+      (
+         final tonkadur.fate.v1.lang.meta.Computation p:
+            source.get_extra_parameters()
+      )
+      {
+         final ComputationCompiler param_cc;
+
+         param_cc = new ComputationCompiler(compiler);
+
+         p.get_visited_by(param_cc);
+
+         // Let's not re-compute the parameters on every iteration.
+         param_cc.generate_address();
+
+         assimilate(param_cc);
+
+         params.add(param_cc.get_computation());
+      }
+
+      default_cc = new ComputationCompiler(compiler);
+
+      source.get_initial_value().get_visited_by(default_cc);
+
+      if (default_cc.has_init())
+      {
+         init_instructions.add(default_cc.get_init());
+      }
+
+      init_instructions.add
+      (
+         new SetValue(result_as_address, default_cc.get_computation())
+      );
+
+      default_cc.release_registers(init_instructions);
+
+      lambda_cc = new ComputationCompiler(compiler);
+
+      source.get_lambda_function().get_visited_by(lambda_cc);
+
+      assimilate(lambda_cc);
+
+      in_collection_cc = new ComputationCompiler(compiler);
+
+      source.get_collection().get_visited_by(in_collection_cc);
+
+      assimilate(in_collection_cc);
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.Fold.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            lambda_cc.get_computation(),
+            result_as_address,
+            in_collection_cc.get_address(),
+            source.is_foldl(),
+            params
+         )
+      );
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/IndexOfOperatorCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/IndexOfOperatorCompiler.java
new file mode 100644
index 0000000..61b8b05
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/IndexOfOperatorCompiler.java
@@ -0,0 +1,70 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import tonkadur.fate.v1.lang.computation.generic.IndexOfOperator;
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.lang.type.Type;
+
+import tonkadur.wyrd.v1.lang.computation.Size;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class IndexOfOperatorCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return IndexOfOperator.class;
+   }
+
+   public IndexOfOperatorCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final IndexOfOperator source;
+      final ComputationCompiler elem_cc, collection_cc;
+      final Register result, result_found;
+
+      source = (IndexOfOperator) computation;
+
+      result = reserve(Type.INT);
+      result_found = reserve(Type.BOOL);
+
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      elem_cc = new ComputationCompiler(compiler);
+      collection_cc = new ComputationCompiler(compiler);
+
+      source.get_element().get_visited_by(elem_cc);
+      source.get_collection().get_visited_by(collection_cc);
+
+      assimilate(elem_cc);
+      assimilate(collection_cc);
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.IterativeSearch.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            elem_cc.get_computation(),
+            new Size(collection_cc.get_address()),
+            collection_cc.get_address(),
+            result_found.get_address(),
+            result_as_address
+         )
+      );
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/IndexedFilterComputationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/IndexedFilterComputationCompiler.java
new file mode 100644
index 0000000..6ebcd62
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/IndexedFilterComputationCompiler.java
@@ -0,0 +1,109 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import java.util.List;
+import java.util.ArrayList;
+
+import tonkadur.fate.v1.lang.computation.generic.IndexedFilterComputation;
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.lang.instruction.SetValue;
+
+import tonkadur.wyrd.v1.lang.meta.Computation;
+
+import tonkadur.wyrd.v1.lang.type.Type;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class IndexedFilterComputationCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return IndexedFilterComputation.class;
+   }
+
+   public IndexedFilterComputationCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final IndexedFilterComputation source;
+      final List<Computation> params;
+      final ComputationCompiler lambda_cc, in_collection_cc;
+      final Register result;
+
+      source = (IndexedFilterComputation) computation;
+
+      result = reserve(TypeCompiler.compile(compiler, source.get_type()));
+
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      params = new ArrayList<Computation>();
+
+      for
+      (
+         final tonkadur.fate.v1.lang.meta.Computation p:
+            source.get_extra_parameters()
+      )
+      {
+         final ComputationCompiler param_cc;
+
+         param_cc = new ComputationCompiler(compiler);
+
+         p.get_visited_by(param_cc);
+
+         // Let's not re-compute the parameters on every iteration.
+         param_cc.generate_address();
+
+         assimilate(param_cc);
+
+         params.add(param_cc.get_computation());
+      }
+
+      lambda_cc = new ComputationCompiler(compiler);
+
+      source.get_lambda_function().get_visited_by(lambda_cc);
+
+      assimilate(lambda_cc);
+
+      in_collection_cc = new ComputationCompiler(compiler);
+
+      source.get_collection().get_visited_by(in_collection_cc);
+
+      if (in_collection_cc.has_init())
+      {
+         init_instructions.add(in_collection_cc.get_init());
+      }
+
+      init_instructions.add
+      (
+         new SetValue(result_as_address, in_collection_cc.get_computation())
+      );
+
+      in_collection_cc.release_registers(init_instructions);
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.IndexedFilterLambda.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            lambda_cc.get_computation(),
+            result_as_address,
+            params
+         )
+      );
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/IndexedMapComputationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/IndexedMapComputationCompiler.java
new file mode 100644
index 0000000..c5b5e3c
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/IndexedMapComputationCompiler.java
@@ -0,0 +1,105 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import java.util.List;
+import java.util.ArrayList;
+
+import tonkadur.fate.v1.lang.computation.generic.IndexedMapComputation;
+
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.lang.instruction.SetValue;
+
+import tonkadur.wyrd.v1.lang.meta.Computation;
+
+import tonkadur.wyrd.v1.lang.type.Type;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class IndexedMapComputationCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return IndexedMapComputation.class;
+   }
+
+   public IndexedMapComputationCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final IndexedMapComputation source;
+      final List<Computation> params;
+      final ComputationCompiler lambda_cc, in_collection_cc;
+      final Register result;
+
+      source = (IndexedMapComputation) computation;
+
+      result = reserve(TypeCompiler.compile(compiler, source.get_type()));
+
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      params = new ArrayList<Computation>();
+
+      for
+      (
+         final tonkadur.fate.v1.lang.meta.Computation p:
+            source.get_extra_parameters()
+      )
+      {
+         final ComputationCompiler param_cc;
+
+         param_cc = new ComputationCompiler(compiler);
+
+         p.get_visited_by(param_cc);
+
+         // Let's not re-compute the parameters on every iteration.
+         param_cc.generate_address();
+
+         assimilate(param_cc);
+
+         params.add(param_cc.get_computation());
+      }
+
+      lambda_cc = new ComputationCompiler(compiler);
+
+      source.get_lambda_function().get_visited_by(lambda_cc);
+
+      assimilate(lambda_cc);
+
+      in_collection_cc = new ComputationCompiler(compiler);
+
+      source.get_collection().get_visited_by(in_collection_cc);
+
+      assimilate(in_collection_cc);
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.IndexedMapLambda.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            lambda_cc.get_computation(),
+            in_collection_cc.get_address(),
+            result_as_address,
+            (
+               (tonkadur.fate.v1.lang.type.CollectionType)
+               source.get_collection().get_type()
+            ).is_set(),
+            params
+         )
+      );
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/IndexedMergeComputationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/IndexedMergeComputationCompiler.java
new file mode 100644
index 0000000..a327d68
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/IndexedMergeComputationCompiler.java
@@ -0,0 +1,213 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import java.util.List;
+import java.util.ArrayList;
+
+import tonkadur.fate.v1.lang.computation.generic.IndexedMergeComputation;
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.lang.instruction.SetValue;
+
+import tonkadur.wyrd.v1.lang.meta.Computation;
+
+import tonkadur.wyrd.v1.lang.type.Type;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class IndexedMergeComputationCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return IndexedMergeComputation.class;
+   }
+
+   public IndexedMergeComputationCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   protected void compile_with_defaults (final IndexedMergeComputation source)
+   throws Throwable
+   {
+      final List<Computation> params;
+      final ComputationCompiler lambda_cc, default_a_cc, default_b_cc;
+      final ComputationCompiler in_collection_a_cc, in_collection_b_cc;
+      final Register result;
+
+      result = reserve(TypeCompiler.compile(compiler, source.get_type()));
+
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      params = new ArrayList<Computation>();
+
+      for
+      (
+         final tonkadur.fate.v1.lang.meta.Computation p:
+            source.get_extra_parameters()
+      )
+      {
+         final ComputationCompiler param_cc;
+
+         param_cc = new ComputationCompiler(compiler);
+
+         p.get_visited_by(param_cc);
+
+         // Let's not re-compute the parameters on every iteration.
+         param_cc.generate_address();
+
+         assimilate(param_cc);
+
+         params.add(param_cc.get_computation());
+      }
+
+      lambda_cc = new ComputationCompiler(compiler);
+
+      source.get_lambda_function().get_visited_by(lambda_cc);
+
+      assimilate(lambda_cc);
+
+      default_a_cc = new ComputationCompiler(compiler);
+
+      source.get_default_a().get_visited_by(default_a_cc);
+
+      default_a_cc.generate_address();
+
+      assimilate(default_a_cc);
+
+      default_b_cc = new ComputationCompiler(compiler);
+
+      source.get_default_b().get_visited_by(default_b_cc);
+
+      default_b_cc.generate_address();
+
+      assimilate(default_b_cc);
+
+      in_collection_a_cc = new ComputationCompiler(compiler);
+
+      source.get_collection_in_a().get_visited_by(in_collection_a_cc);
+
+      assimilate(in_collection_a_cc);
+
+      in_collection_b_cc = new ComputationCompiler(compiler);
+
+      source.get_collection_in_b().get_visited_by(in_collection_b_cc);
+
+      assimilate(in_collection_b_cc);
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.IndexedMergeLambda.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            lambda_cc.get_computation(),
+            default_a_cc.get_computation(),
+            in_collection_a_cc.get_address(),
+            default_b_cc.get_computation(),
+            in_collection_b_cc.get_address(),
+            result_as_address,
+            source.to_set(),
+            params
+         )
+      );
+   }
+
+   protected void compile_without_defaults
+   (
+      final IndexedMergeComputation source
+   )
+   throws Throwable
+   {
+      final List<Computation> params;
+      final ComputationCompiler lambda_cc;
+      final ComputationCompiler in_collection_a_cc, in_collection_b_cc;
+      final Register result;
+
+      result = reserve(TypeCompiler.compile(compiler, source.get_type()));
+
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      params = new ArrayList<Computation>();
+
+      for
+      (
+         final tonkadur.fate.v1.lang.meta.Computation p:
+            source.get_extra_parameters()
+      )
+      {
+         final ComputationCompiler param_cc;
+
+         param_cc = new ComputationCompiler(compiler);
+
+         p.get_visited_by(param_cc);
+
+         // Let's not re-compute the parameters on every iteration.
+         param_cc.generate_address();
+
+         assimilate(param_cc);
+
+         params.add(param_cc.get_computation());
+      }
+
+      lambda_cc = new ComputationCompiler(compiler);
+
+      source.get_lambda_function().get_visited_by(lambda_cc);
+
+      assimilate(lambda_cc);
+
+      in_collection_a_cc = new ComputationCompiler(compiler);
+
+      source.get_collection_in_a().get_visited_by(in_collection_a_cc);
+
+      assimilate(in_collection_a_cc);
+
+      in_collection_b_cc = new ComputationCompiler(compiler);
+
+      source.get_collection_in_b().get_visited_by(in_collection_b_cc);
+
+      assimilate(in_collection_b_cc);
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.IndexedMergeLambda.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            lambda_cc.get_computation(),
+            in_collection_a_cc.get_address(),
+            in_collection_b_cc.get_address(),
+            result_as_address,
+            source.to_set(),
+            params
+         )
+      );
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final IndexedMergeComputation source;
+
+      source = (IndexedMergeComputation) computation;
+
+      if (source.get_default_a() == null)
+      {
+         compile_without_defaults(source);
+      }
+      else
+      {
+         compile_with_defaults(source);
+      }
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/IndexedPartitionComputationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/IndexedPartitionComputationCompiler.java
new file mode 100644
index 0000000..196ae37
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/IndexedPartitionComputationCompiler.java
@@ -0,0 +1,144 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import java.util.List;
+import java.util.ArrayList;
+
+import tonkadur.fate.v1.lang.computation.generic.IndexedPartitionComputation;
+
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.lang.instruction.SetValue;
+import tonkadur.wyrd.v1.lang.instruction.Initialize;
+
+import tonkadur.wyrd.v1.lang.computation.Constant;
+import tonkadur.wyrd.v1.lang.computation.Address;
+import tonkadur.wyrd.v1.lang.computation.RelativeAddress;
+
+import tonkadur.wyrd.v1.lang.meta.Computation;
+
+import tonkadur.wyrd.v1.lang.type.Type;
+import tonkadur.wyrd.v1.lang.type.DictType;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class IndexedPartitionComputationCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return IndexedPartitionComputation.class;
+   }
+
+   public IndexedPartitionComputationCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final IndexedPartitionComputation source;
+      final List<Computation> params;
+      final ComputationCompiler lambda_cc, in_collection_cc;
+      final Address car_addr, cdr_addr;
+      final Register result;
+
+      source = (IndexedPartitionComputation) computation;
+
+      result = reserve(DictType.WILD);
+
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      params = new ArrayList<Computation>();
+
+      for
+      (
+         final tonkadur.fate.v1.lang.meta.Computation p:
+            source.get_extra_parameters()
+      )
+      {
+         final ComputationCompiler param_cc;
+
+         param_cc = new ComputationCompiler(compiler);
+
+         p.get_visited_by(param_cc);
+
+         // Let's not re-compute the parameters on every iteration.
+         param_cc.generate_address();
+
+         assimilate(param_cc);
+
+         params.add(param_cc.get_computation());
+      }
+
+      lambda_cc = new ComputationCompiler(compiler);
+
+      source.get_lambda_function().get_visited_by(lambda_cc);
+
+      assimilate(lambda_cc);
+
+      in_collection_cc = new ComputationCompiler(compiler);
+
+      source.get_collection().get_visited_by(in_collection_cc);
+
+      if (in_collection_cc.has_init())
+      {
+         init_instructions.add(in_collection_cc.get_init());
+      }
+
+      car_addr =
+         new RelativeAddress
+         (
+            result_as_address,
+            new Constant(Type.STRING, "0"),
+            in_collection_cc.get_computation().get_type()
+         );
+
+      init_instructions.add
+      (
+         new SetValue
+         (
+            car_addr,
+            in_collection_cc.get_computation()
+         )
+      );
+
+      cdr_addr =
+         new RelativeAddress
+         (
+            result_as_address,
+            new Constant(Type.STRING, "1"),
+            in_collection_cc.get_computation().get_type()
+         );
+
+      in_collection_cc.release_registers(init_instructions);
+
+      init_instructions.add(new Initialize(cdr_addr));
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.IndexedPartitionLambda.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            lambda_cc.get_computation(),
+            car_addr,
+            cdr_addr,
+            (
+               (tonkadur.fate.v1.lang.type.CollectionType)
+               source.get_collection().get_type()
+            ).is_set(),
+            params
+         )
+      );
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/IsEmptyCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/IsEmptyCompiler.java
new file mode 100644
index 0000000..80bbe9a
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/IsEmptyCompiler.java
@@ -0,0 +1,47 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import tonkadur.fate.v1.lang.computation.generic.IsEmpty;
+
+import tonkadur.wyrd.v1.lang.computation.Size;
+import tonkadur.wyrd.v1.lang.computation.Constant;
+import tonkadur.wyrd.v1.lang.computation.Operation;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class IsEmptyCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return IsEmpty.class;
+   }
+
+   public IsEmptyCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final IsEmpty source;
+      final ComputationCompiler cc;
+
+      source = (IsEmpty) computation;
+
+      cc = new ComputationCompiler(compiler);
+
+      source.get_collection().get_visited_by(cc);
+
+      assimilate(cc);
+
+      result_as_computation =
+         Operation.equals(new Size(cc.get_address()), Constant.ZERO);
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/IsMemberOperatorCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/IsMemberOperatorCompiler.java
new file mode 100644
index 0000000..e5e1925
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/IsMemberOperatorCompiler.java
@@ -0,0 +1,124 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import tonkadur.fate.v1.lang.computation.generic.IsMemberOperator;
+
+import tonkadur.wyrd.v1.lang.computation.Size;
+
+import tonkadur.wyrd.v1.lang.instruction.SetValue;
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.lang.type.Type;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class IsMemberOperatorCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return IsMemberOperator.class;
+   }
+
+   public IsMemberOperatorCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final IsMemberOperator source;
+      final Register result;
+      final ComputationCompiler collection_compiler, element_compiler;
+
+      source = (IsMemberOperator) computation;
+
+      collection_compiler = new ComputationCompiler(compiler);
+      element_compiler = new ComputationCompiler(compiler);
+
+      source.get_collection().get_visited_by(collection_compiler);
+      source.get_element().get_visited_by(element_compiler);
+
+      collection_compiler.generate_address();
+
+      assimilate(collection_compiler);
+      assimilate(element_compiler);
+
+      result = reserve(Type.BOOL);
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      if
+      (
+         (
+            (tonkadur.fate.v1.lang.type.CollectionType)
+               source.get_collection().get_type()
+         ).is_set()
+      )
+      {
+         final Register index, element;
+
+         index = reserve(Type.INT);
+         element = reserve(element_compiler.get_computation().get_type());
+
+         init_instructions.add
+         (
+            new SetValue
+            (
+               element.get_address(),
+               element_compiler.get_computation()
+            )
+         );
+         init_instructions.add
+         (
+            tonkadur.wyrd.v1.compiler.util.BinarySearch.generate
+            (
+               compiler.registers(),
+               compiler.assembler(),
+               element.get_value(),
+               new Size(collection_compiler.get_address()),
+               collection_compiler.get_address(),
+               result_as_address,
+               index.get_address()
+            )
+         );
+
+      }
+      else
+      {
+         final Register index, element;
+
+         index = reserve(Type.INT);
+         element = reserve(element_compiler.get_computation().get_type());
+
+         init_instructions.add
+         (
+            new SetValue
+            (
+               element.get_address(),
+               element_compiler.get_computation()
+            )
+         );
+         init_instructions.add
+         (
+            tonkadur.wyrd.v1.compiler.util.IterativeSearch.generate
+            (
+               compiler.registers(),
+               compiler.assembler(),
+               element.get_value(),
+               new Size(collection_compiler.get_address()),
+               collection_compiler.get_address(),
+               result_as_address,
+               index.get_address()
+            )
+         );
+      }
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/LambdaEvaluationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/LambdaEvaluationCompiler.java
index c914d0c..fb74eb9 100644
--- a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/LambdaEvaluationCompiler.java
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/LambdaEvaluationCompiler.java
@@ -44,7 +44,6 @@ public class LambdaEvaluationCompiler extends GenericComputationCompiler
 
       source = (LambdaEvaluation) computation;
 
-
       parameters = new ArrayList<Computation>();
       target_line_cc = new ComputationCompiler(compiler);
 
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/MapComputationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/MapComputationCompiler.java
new file mode 100644
index 0000000..459936f
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/MapComputationCompiler.java
@@ -0,0 +1,102 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import java.util.List;
+import java.util.ArrayList;
+
+import tonkadur.fate.v1.lang.computation.generic.MapComputation;
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.lang.meta.Computation;
+
+import tonkadur.wyrd.v1.lang.type.Type;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class MapComputationCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return MapComputation.class;
+   }
+
+   public MapComputationCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final MapComputation source;
+      final List<Computation> params;
+      final ComputationCompiler lambda_cc, in_collection_cc;
+      final Register result;
+
+      source = (MapComputation) computation;
+
+      result = reserve(TypeCompiler.compile(compiler, source.get_type()));
+
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      params = new ArrayList<Computation>();
+
+      for
+      (
+         final tonkadur.fate.v1.lang.meta.Computation p:
+            source.get_extra_parameters()
+      )
+      {
+         final ComputationCompiler param_cc;
+
+         param_cc = new ComputationCompiler(compiler);
+
+         p.get_visited_by(param_cc);
+
+         // Let's not re-compute the parameters on every iteration.
+         param_cc.generate_address();
+
+         assimilate(param_cc);
+
+         params.add(param_cc.get_computation());
+      }
+
+      lambda_cc = new ComputationCompiler(compiler);
+
+      source.get_lambda_function().get_visited_by(lambda_cc);
+
+      assimilate(lambda_cc);
+
+      in_collection_cc = new ComputationCompiler(compiler);
+
+      source.get_collection().get_visited_by(in_collection_cc);
+
+      assimilate(in_collection_cc);
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.MapLambda.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            lambda_cc.get_computation(),
+            in_collection_cc.get_address(),
+            result_as_address,
+            (
+               (tonkadur.fate.v1.lang.type.CollectionType)
+               source.get_collection().get_type()
+            ).is_set(),
+            params
+         )
+      );
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/MergeComputationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/MergeComputationCompiler.java
new file mode 100644
index 0000000..d0cde2f
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/MergeComputationCompiler.java
@@ -0,0 +1,208 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import java.util.List;
+import java.util.ArrayList;
+
+import tonkadur.fate.v1.lang.computation.generic.MergeComputation;
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.lang.meta.Computation;
+
+import tonkadur.wyrd.v1.lang.type.Type;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class MergeComputationCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return MergeComputation.class;
+   }
+
+   public MergeComputationCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   protected void compile_with_defaults (final MergeComputation source)
+   throws Throwable
+   {
+      final List<Computation> params;
+      final ComputationCompiler lambda_cc, default_a_cc, default_b_cc;
+      final ComputationCompiler in_collection_a_cc, in_collection_b_cc;
+      final Register result;
+
+      result = reserve(TypeCompiler.compile(compiler, source.get_type()));
+
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      params = new ArrayList<Computation>();
+
+      for
+      (
+         final tonkadur.fate.v1.lang.meta.Computation p:
+            source.get_extra_parameters()
+      )
+      {
+         final ComputationCompiler param_cc;
+
+         param_cc = new ComputationCompiler(compiler);
+
+         p.get_visited_by(param_cc);
+
+         // Let's not re-compute the parameters on every iteration.
+         param_cc.generate_address();
+
+         assimilate(param_cc);
+
+         params.add(param_cc.get_computation());
+      }
+
+      lambda_cc = new ComputationCompiler(compiler);
+
+      source.get_lambda_function().get_visited_by(lambda_cc);
+
+      assimilate(lambda_cc);
+
+      default_a_cc = new ComputationCompiler(compiler);
+
+      source.get_default_a().get_visited_by(default_a_cc);
+
+      default_a_cc.generate_address();
+
+      assimilate(default_a_cc);
+
+      default_b_cc = new ComputationCompiler(compiler);
+
+      source.get_default_b().get_visited_by(default_b_cc);
+
+      default_b_cc.generate_address();
+
+      assimilate(default_b_cc);
+
+      in_collection_a_cc = new ComputationCompiler(compiler);
+
+      source.get_collection_in_a().get_visited_by(in_collection_a_cc);
+
+      assimilate(in_collection_a_cc);
+
+      in_collection_b_cc = new ComputationCompiler(compiler);
+
+      source.get_collection_in_b().get_visited_by(in_collection_b_cc);
+
+      assimilate(in_collection_b_cc);
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.MergeLambda.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            lambda_cc.get_computation(),
+            default_a_cc.get_computation(),
+            in_collection_a_cc.get_address(),
+            default_b_cc.get_computation(),
+            in_collection_b_cc.get_address(),
+            result_as_address,
+            source.to_set(),
+            params
+         )
+      );
+   }
+
+   protected void compile_without_defaults (final MergeComputation source)
+   throws Throwable
+   {
+      final List<Computation> params;
+      final ComputationCompiler lambda_cc;
+      final ComputationCompiler in_collection_a_cc, in_collection_b_cc;
+      final Register result;
+
+      result = reserve(TypeCompiler.compile(compiler, source.get_type()));
+
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      params = new ArrayList<Computation>();
+
+      for
+      (
+         final tonkadur.fate.v1.lang.meta.Computation p:
+            source.get_extra_parameters()
+      )
+      {
+         final ComputationCompiler param_cc;
+
+         param_cc = new ComputationCompiler(compiler);
+
+         p.get_visited_by(param_cc);
+
+         // Let's not re-compute the parameters on every iteration.
+         param_cc.generate_address();
+
+         assimilate(param_cc);
+
+         params.add(param_cc.get_computation());
+      }
+
+      lambda_cc = new ComputationCompiler(compiler);
+
+      source.get_lambda_function().get_visited_by(lambda_cc);
+
+      assimilate(lambda_cc);
+
+      in_collection_a_cc = new ComputationCompiler(compiler);
+
+      source.get_collection_in_a().get_visited_by(in_collection_a_cc);
+
+      assimilate(in_collection_a_cc);
+
+      in_collection_b_cc = new ComputationCompiler(compiler);
+
+      source.get_collection_in_b().get_visited_by(in_collection_b_cc);
+
+      assimilate(in_collection_b_cc);
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.MergeLambda.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            lambda_cc.get_computation(),
+            in_collection_a_cc.get_address(),
+            in_collection_b_cc.get_address(),
+            result_as_address,
+            source.to_set(),
+            params
+         )
+      );
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final MergeComputation source;
+
+      source = (MergeComputation) computation;
+
+      if (source.get_default_a() == null)
+      {
+         compile_without_defaults(source);
+      }
+      else
+      {
+         compile_with_defaults(source);
+      }
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/PartitionComputationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/PartitionComputationCompiler.java
new file mode 100644
index 0000000..d66c1dd
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/PartitionComputationCompiler.java
@@ -0,0 +1,144 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import java.util.List;
+import java.util.ArrayList;
+
+import tonkadur.fate.v1.lang.computation.generic.PartitionComputation;
+
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.lang.instruction.SetValue;
+import tonkadur.wyrd.v1.lang.instruction.Initialize;
+
+import tonkadur.wyrd.v1.lang.computation.Constant;
+import tonkadur.wyrd.v1.lang.computation.Address;
+import tonkadur.wyrd.v1.lang.computation.RelativeAddress;
+
+import tonkadur.wyrd.v1.lang.meta.Computation;
+
+import tonkadur.wyrd.v1.lang.type.Type;
+import tonkadur.wyrd.v1.lang.type.DictType;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class PartitionComputationCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return PartitionComputation.class;
+   }
+
+   public PartitionComputationCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final PartitionComputation source;
+      final List<Computation> params;
+      final ComputationCompiler lambda_cc, in_collection_cc;
+      final Address car_addr, cdr_addr;
+      final Register result;
+
+      source = (PartitionComputation) computation;
+
+      result = reserve(DictType.WILD);
+
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      params = new ArrayList<Computation>();
+
+      for
+      (
+         final tonkadur.fate.v1.lang.meta.Computation p:
+            source.get_extra_parameters()
+      )
+      {
+         final ComputationCompiler param_cc;
+
+         param_cc = new ComputationCompiler(compiler);
+
+         p.get_visited_by(param_cc);
+
+         // Let's not re-compute the parameters on every iteration.
+         param_cc.generate_address();
+
+         assimilate(param_cc);
+
+         params.add(param_cc.get_computation());
+      }
+
+      lambda_cc = new ComputationCompiler(compiler);
+
+      source.get_lambda_function().get_visited_by(lambda_cc);
+
+      assimilate(lambda_cc);
+
+      in_collection_cc = new ComputationCompiler(compiler);
+
+      source.get_collection().get_visited_by(in_collection_cc);
+
+      if (in_collection_cc.has_init())
+      {
+         init_instructions.add(in_collection_cc.get_init());
+      }
+
+      car_addr =
+         new RelativeAddress
+         (
+            result_as_address,
+            new Constant(Type.STRING, "0"),
+            in_collection_cc.get_computation().get_type()
+         );
+
+      init_instructions.add
+      (
+         new SetValue
+         (
+            car_addr,
+            in_collection_cc.get_computation()
+         )
+      );
+
+      cdr_addr =
+         new RelativeAddress
+         (
+            result_as_address,
+            new Constant(Type.STRING, "1"),
+            in_collection_cc.get_computation().get_type()
+         );
+
+      in_collection_cc.release_registers(init_instructions);
+
+      init_instructions.add(new Initialize(cdr_addr));
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.PartitionLambda.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            lambda_cc.get_computation(),
+            car_addr,
+            cdr_addr,
+            (
+               (tonkadur.fate.v1.lang.type.CollectionType)
+               source.get_collection().get_type()
+            ).is_set(),
+            params
+         )
+      );
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/PopElementComputationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/PopElementComputationCompiler.java
new file mode 100644
index 0000000..b6a0e1b
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/PopElementComputationCompiler.java
@@ -0,0 +1,115 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import tonkadur.fate.v1.lang.computation.generic.PopElementComputation;
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.lang.instruction.SetValue;
+import tonkadur.wyrd.v1.lang.instruction.Initialize;
+
+import tonkadur.wyrd.v1.lang.type.DictType;
+import tonkadur.wyrd.v1.lang.type.Type;
+
+import tonkadur.wyrd.v1.lang.computation.Address;
+import tonkadur.wyrd.v1.lang.computation.RelativeAddress;
+import tonkadur.wyrd.v1.lang.computation.Constant;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class PopElementComputationCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return PopElementComputation.class;
+   }
+
+   public PopElementComputationCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final PopElementComputation source;
+      final ComputationCompiler address_compiler;
+      final Register result;
+      final Address car_addr, cdr_addr;
+
+      source = (PopElementComputation) computation;
+
+      result = reserve(DictType.WILD);
+      result_as_computation = result.get_value();
+      result_as_address = result.get_address();
+
+      address_compiler = new ComputationCompiler(compiler);
+
+      source.get_collection().get_visited_by(address_compiler);
+
+      if (address_compiler.has_init())
+      {
+         init_instructions.add(address_compiler.get_init());
+      }
+
+      init_instructions.add
+      (
+         new SetValue(result_as_address, address_compiler.get_computation())
+      );
+
+      car_addr =
+         new RelativeAddress
+         (
+            result_as_address,
+            new Constant(Type.STRING, "0"),
+            address_compiler.get_computation().get_type()
+         );
+
+      init_instructions.add
+      (
+         new SetValue
+         (
+            car_addr,
+            address_compiler.get_computation()
+         )
+      );
+
+      address_compiler.release_registers(init_instructions);
+
+      cdr_addr =
+         new RelativeAddress
+         (
+            result_as_address,
+            new Constant(Type.STRING, "1"),
+            TypeCompiler.compile
+            (
+               compiler,
+               (
+                  (tonkadur.fate.v1.lang.type.CollectionType)
+                     source.get_collection().get_type()
+               ).get_content_type()
+            )
+         );
+
+      init_instructions.add(new Initialize(cdr_addr));
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.PopElement.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            car_addr,
+            cdr_addr,
+            source.is_from_left()
+         )
+      );
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/PushElementComputationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/PushElementComputationCompiler.java
new file mode 100644
index 0000000..7b7169e
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/PushElementComputationCompiler.java
@@ -0,0 +1,113 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import tonkadur.fate.v1.lang.computation.generic.PushElementComputation;
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.lang.instruction.SetValue;
+
+import tonkadur.wyrd.v1.lang.type.Type;
+
+import tonkadur.wyrd.v1.lang.computation.Size;
+import tonkadur.wyrd.v1.lang.computation.Constant;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class PushElementComputationCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return PushElementComputation.class;
+   }
+
+   public PushElementComputationCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final PushElementComputation source;
+      final ComputationCompiler address_compiler, element_compiler;
+      final Register result, collection_size, index;
+
+      source = (PushElementComputation) computation;
+
+      result = reserve(TypeCompiler.compile(compiler, source.get_type()));
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      address_compiler = new ComputationCompiler(compiler);
+      element_compiler = new ComputationCompiler(compiler);
+
+      source.get_collection().get_visited_by(address_compiler);
+
+      if (address_compiler.has_init())
+      {
+         init_instructions.add(address_compiler.get_init());
+      }
+
+      init_instructions.add
+      (
+         new SetValue(result_as_address, address_compiler.get_computation())
+      );
+
+      address_compiler.release_registers(init_instructions);
+
+      source.get_element().get_visited_by(element_compiler);
+
+      if (element_compiler.has_init())
+      {
+         init_instructions.add(element_compiler.get_init());
+      }
+
+      collection_size = reserve(Type.INT);
+      index = reserve(Type.INT);
+
+      init_instructions.add
+      (
+         new SetValue
+         (
+            collection_size.get_address(),
+            new Size(result_as_address)
+         )
+      );
+
+      init_instructions.add
+      (
+         new SetValue
+         (
+            index.get_address(),
+            (
+               source.is_from_left() ?
+               Constant.ZERO :
+               collection_size.get_value()
+            )
+         )
+      );
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.InsertAt.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            index.get_address(),
+            element_compiler.get_computation(),
+            collection_size.get_value(),
+            result_as_address
+         )
+      );
+
+      element_compiler.release_registers(init_instructions);
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/RangeCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/RangeCompiler.java
new file mode 100644
index 0000000..a6abeb3
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/RangeCompiler.java
@@ -0,0 +1,160 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import java.util.ArrayList;
+import java.util.List;
+
+import tonkadur.fate.v1.lang.computation.generic.Range;
+
+import tonkadur.wyrd.v1.lang.instruction.SetValue;
+import tonkadur.wyrd.v1.lang.instruction.Initialize;
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.lang.computation.Address;
+import tonkadur.wyrd.v1.lang.computation.RelativeAddress;
+import tonkadur.wyrd.v1.lang.computation.Cast;
+import tonkadur.wyrd.v1.lang.computation.Constant;
+import tonkadur.wyrd.v1.lang.computation.Operation;
+
+import tonkadur.wyrd.v1.lang.meta.Instruction;
+
+import tonkadur.wyrd.v1.lang.type.Type;
+import tonkadur.wyrd.v1.lang.type.MapType;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class RangeCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return Range.class;
+   }
+
+   public RangeCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final Range source;
+      final List<Instruction> while_body;
+      final ComputationCompiler start_cc, end_cc, inc_cc;
+      final Register result, iterator, accumulator;
+      final Address new_element_addr;
+
+      source = (Range) computation;
+
+      while_body = new ArrayList<Instruction>();
+
+      result = reserve(MapType.MAP_TO_INT);
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      start_cc = new ComputationCompiler(compiler);
+      end_cc = new ComputationCompiler(compiler);
+      inc_cc = new ComputationCompiler(compiler);
+
+      source.get_start().get_visited_by(start_cc);
+      start_cc.generate_address();
+
+      source.get_end().get_visited_by(end_cc);
+      end_cc.generate_address();
+
+      source.get_increment().get_visited_by(inc_cc);
+      inc_cc.generate_address();
+
+      assimilate(start_cc);
+      assimilate(end_cc);
+      assimilate(inc_cc);
+
+      iterator = reserve(Type.INT);
+      accumulator = reserve(Type.INT);
+
+      init_instructions.add
+      (
+         new SetValue(iterator.get_address(), Constant.ZERO)
+      );
+      init_instructions.add
+      (
+         new SetValue(accumulator.get_address(), start_cc.get_computation())
+      );
+
+      new_element_addr =
+         new RelativeAddress
+         (
+            result_as_address,
+            new Cast(iterator.get_value(), Type.STRING),
+            Type.INT
+         );
+
+      while_body.add(new Initialize(new_element_addr));
+      while_body.add
+      (
+         new SetValue(new_element_addr, accumulator.get_value())
+      );
+      while_body.add
+      (
+         new SetValue
+         (
+            accumulator.get_address(),
+            Operation.plus(accumulator.get_value(), inc_cc.get_computation())
+         )
+      );
+      while_body.add
+      (
+         new SetValue
+         (
+            iterator.get_address(),
+            Operation.plus(iterator.get_value(), Constant.ONE)
+         )
+      );
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.While.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            Operation.or
+            (
+               Operation.and
+               (
+                  Operation.greater_than
+                  (
+                     inc_cc.get_computation(),
+                     Constant.ZERO
+                  ),
+                  Operation.less_equal_than
+                  (
+                     accumulator.get_value(),
+                     end_cc.get_computation()
+                  )
+               ),
+               Operation.and
+               (
+                  Operation.less_equal_than
+                  (
+                     inc_cc.get_computation(),
+                     Constant.ZERO
+                  ),
+                  Operation.greater_equal_than
+                  (
+                     accumulator.get_value(),
+                     end_cc.get_computation()
+                  )
+               )
+            ),
+            compiler.assembler().merge(while_body)
+         )
+      );
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/RemoveAllOfElementComputationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/RemoveAllOfElementComputationCompiler.java
new file mode 100644
index 0000000..651f4aa
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/RemoveAllOfElementComputationCompiler.java
@@ -0,0 +1,81 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import tonkadur.fate.v1.lang.computation.generic.RemoveAllOfElementComputation;
+
+import tonkadur.wyrd.v1.lang.computation.Size;
+import tonkadur.wyrd.v1.lang.computation.Address;
+
+import tonkadur.wyrd.v1.lang.instruction.SetValue;
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class RemoveAllOfElementComputationCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return RemoveAllOfElementComputation.class;
+   }
+
+   public RemoveAllOfElementComputationCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final RemoveAllOfElementComputation source;
+      final ComputationCompiler address_compiler, target_compiler;
+      final Address collection_address;
+      final Register result;
+
+      source = (RemoveAllOfElementComputation) computation;
+
+      result = reserve(TypeCompiler.compile(compiler, source.get_type()));
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      address_compiler = new ComputationCompiler(compiler);
+      target_compiler = new ComputationCompiler(compiler);
+
+      source.get_collection().get_visited_by(address_compiler);
+
+      if (address_compiler.has_init())
+      {
+         init_instructions.add(address_compiler.get_init());
+      }
+
+      init_instructions.add
+      (
+         new SetValue(result_as_address, address_compiler.get_computation())
+      );
+
+      address_compiler.release_registers(init_instructions);
+
+      source.get_element().get_visited_by(target_compiler);
+
+      assimilate(target_compiler);
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.RemoveAllOf.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            target_compiler.get_computation(),
+            new Size(result_as_address),
+            result_as_address
+         )
+      );
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/RemoveElementAtComputationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/RemoveElementAtComputationCompiler.java
new file mode 100644
index 0000000..2670814
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/RemoveElementAtComputationCompiler.java
@@ -0,0 +1,83 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import tonkadur.fate.v1.lang.computation.generic.RemoveElementAtComputation;
+
+import tonkadur.wyrd.v1.lang.computation.Size;
+import tonkadur.wyrd.v1.lang.computation.Address;
+
+import tonkadur.wyrd.v1.lang.instruction.SetValue;
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class RemoveElementAtComputationCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return RemoveElementAtComputation.class;
+   }
+
+   public RemoveElementAtComputationCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final RemoveElementAtComputation source;
+      final ComputationCompiler address_compiler, target_compiler;
+      final Address collection_address;
+      final Register result, target_index;
+
+      source = (RemoveElementAtComputation) computation;
+
+      result = reserve(TypeCompiler.compile(compiler, source.get_type()));
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      address_compiler = new ComputationCompiler(compiler);
+      target_compiler = new ComputationCompiler(compiler);
+
+      source.get_collection().get_visited_by(address_compiler);
+
+      if (address_compiler.has_init())
+      {
+         init_instructions.add(address_compiler.get_init());
+      }
+
+      init_instructions.add
+      (
+         new SetValue(result_as_address, address_compiler.get_computation())
+      );
+
+      address_compiler.release_registers(init_instructions);
+
+      source.get_index().get_visited_by(target_compiler);
+
+      target_compiler.generate_address();
+
+      assimilate(target_compiler);
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.RemoveAt.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            target_compiler.get_address(),
+            new Size(result_as_address),
+            result_as_address
+         )
+      );
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/RemoveElementComputationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/RemoveElementComputationCompiler.java
new file mode 100644
index 0000000..4a5d4c8
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/RemoveElementComputationCompiler.java
@@ -0,0 +1,82 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import tonkadur.fate.v1.lang.computation.generic.RemoveElementComputation;
+
+import tonkadur.wyrd.v1.lang.instruction.SetValue;
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class RemoveElementComputationCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return RemoveElementComputation.class;
+   }
+
+   public RemoveElementComputationCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final RemoveElementComputation source;
+      final ComputationCompiler elem_cc, collection_cc;
+      final Register result;
+
+      source = (RemoveElementComputation) computation;
+
+      elem_cc = new ComputationCompiler(compiler);
+      collection_cc = new ComputationCompiler(compiler);
+
+      result = reserve(TypeCompiler.compile(compiler, source.get_type()));
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      source.get_collection().get_visited_by(collection_cc);
+
+      if (collection_cc.has_init())
+      {
+         init_instructions.add(collection_cc.get_init());
+      }
+
+      init_instructions.add
+      (
+         new SetValue(result_as_address, collection_cc.get_computation())
+      );
+
+      collection_cc.release_registers(init_instructions);
+
+      source.get_element().get_visited_by(elem_cc);
+
+      elem_cc.generate_address();
+
+      assimilate(elem_cc);
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.RemoveOneOf.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            elem_cc.get_computation(),
+            result_as_address,
+            (
+               (tonkadur.fate.v1.lang.type.CollectionType)
+               source.get_collection().get_type()
+            ).is_set()
+         )
+      );
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/RemoveElementsOfComputationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/RemoveElementsOfComputationCompiler.java
new file mode 100644
index 0000000..6415dac
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/RemoveElementsOfComputationCompiler.java
@@ -0,0 +1,85 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import tonkadur.fate.v1.lang.computation.generic.RemoveElementsOfComputation;
+
+import tonkadur.wyrd.v1.lang.computation.Size;
+import tonkadur.wyrd.v1.lang.computation.Address;
+
+import tonkadur.wyrd.v1.lang.instruction.SetValue;
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class RemoveElementsOfComputationCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return RemoveElementsOfComputation.class;
+   }
+
+   public RemoveElementsOfComputationCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final RemoveElementsOfComputation source;
+      final ComputationCompiler collection_in_cc, collection_cc;
+      final Register result;
+
+      source = (RemoveElementsOfComputation) computation;
+
+      result = reserve(TypeCompiler.compile(compiler, source.get_type()));
+
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      collection_cc = new ComputationCompiler(compiler);
+
+      source.get_target_collection().get_visited_by(collection_cc);
+
+      if (collection_cc.has_init())
+      {
+         init_instructions.add(collection_cc.get_init());
+      }
+
+      init_instructions.add
+      (
+         new SetValue(result_as_address, collection_cc.get_computation())
+      );
+
+      collection_cc.release_registers(init_instructions);
+
+      collection_in_cc = new ComputationCompiler(compiler);
+
+      source.get_source_collection().get_visited_by(collection_in_cc);
+
+      assimilate(collection_in_cc);
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.RemoveElementsOf.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            collection_in_cc.get_address(),
+            result_as_address,
+            (
+               (tonkadur.fate.v1.lang.type.CollectionType)
+               source.get_target_collection().get_type()
+            ).is_set()
+         )
+      );
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/ReverseListComputationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/ReverseListComputationCompiler.java
new file mode 100644
index 0000000..0c39eee
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/ReverseListComputationCompiler.java
@@ -0,0 +1,73 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import tonkadur.fate.v1.lang.computation.generic.ReverseListComputation;
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.lang.instruction.SetValue;
+
+import tonkadur.wyrd.v1.lang.computation.Size;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class ReverseListComputationCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return ReverseListComputation.class;
+   }
+
+   public ReverseListComputationCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final ReverseListComputation source;
+      final ComputationCompiler address_compiler;
+      final Register result;
+
+      source = (ReverseListComputation) computation;
+
+      result = reserve(TypeCompiler.compile(compiler, source.get_type()));
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      address_compiler = new ComputationCompiler(compiler);
+
+      source.get_collection().get_visited_by(address_compiler);
+
+      if (address_compiler.has_init())
+      {
+         init_instructions.add(address_compiler.get_init());
+      }
+
+      init_instructions.add
+      (
+         new SetValue(result_as_address, address_compiler.get_computation())
+      );
+
+      address_compiler.release_registers(init_instructions);
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.ReverseList.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            new Size(result_as_address),
+            result_as_address
+         )
+      );
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/ShuffleComputationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/ShuffleComputationCompiler.java
new file mode 100644
index 0000000..b8477c8
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/ShuffleComputationCompiler.java
@@ -0,0 +1,72 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import tonkadur.fate.v1.lang.computation.generic.ShuffleComputation;
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.lang.instruction.SetValue;
+
+import tonkadur.wyrd.v1.lang.computation.Size;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class ShuffleComputationCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return ShuffleComputation.class;
+   }
+
+   public ShuffleComputationCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final ShuffleComputation source;
+      final ComputationCompiler address_compiler;
+      final Register result;
+
+      source = (ShuffleComputation) computation;
+
+      result = reserve(TypeCompiler.compile(compiler, source.get_type()));
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      address_compiler = new ComputationCompiler(compiler);
+
+      source.get_collection().get_visited_by(address_compiler);
+
+      if (address_compiler.has_init())
+      {
+         init_instructions.add(address_compiler.get_init());
+      }
+
+      init_instructions.add
+      (
+         new SetValue(result_as_address, address_compiler.get_computation())
+      );
+
+      address_compiler.release_registers(init_instructions);
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.Shuffle.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            result_as_address
+         )
+      );
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/SizeOperatorCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/SizeOperatorCompiler.java
new file mode 100644
index 0000000..2c8bfff
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/SizeOperatorCompiler.java
@@ -0,0 +1,44 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import tonkadur.fate.v1.lang.computation.generic.SizeOperator;
+
+import tonkadur.wyrd.v1.lang.computation.Size;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class SizeOperatorCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return SizeOperator.class;
+   }
+
+   public SizeOperatorCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final SizeOperator source;
+      final ComputationCompiler cc;
+
+      source = (SizeOperator) computation;
+
+      cc = new ComputationCompiler(compiler);
+
+      source.get_collection().get_visited_by(cc);
+
+      assimilate(cc);
+
+      result_as_computation = new Size(cc.get_address());
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/SortComputationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/SortComputationCompiler.java
new file mode 100644
index 0000000..f4805e1
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/SortComputationCompiler.java
@@ -0,0 +1,101 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import java.util.ArrayList;
+import java.util.List;
+
+import tonkadur.fate.v1.lang.computation.generic.SortComputation;
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.lang.meta.Computation;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class SortComputationCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return SortComputation.class;
+   }
+
+   public SortComputationCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final SortComputation source;
+      final List<Computation> params;
+      final ComputationCompiler lambda_cc, in_collection_cc;
+      final Register result;
+
+      source = (SortComputation) computation;
+
+      result = reserve(TypeCompiler.compile(compiler, source.get_type()));
+
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      params = new ArrayList<Computation>();
+
+      for
+      (
+         final tonkadur.fate.v1.lang.meta.Computation p:
+            source.get_extra_parameters()
+      )
+      {
+         final ComputationCompiler param_cc;
+
+         param_cc = new ComputationCompiler(compiler);
+
+         p.get_visited_by(param_cc);
+
+         // Let's not re-compute the parameters on every iteration.
+         param_cc.generate_address();
+
+         assimilate(param_cc);
+
+         params.add(param_cc.get_computation());
+      }
+
+      lambda_cc = new ComputationCompiler(compiler);
+
+      source.get_lambda_function().get_visited_by(lambda_cc);
+
+      assimilate(lambda_cc);
+
+      in_collection_cc = new ComputationCompiler(compiler);
+
+      source.get_collection().get_visited_by(in_collection_cc);
+
+      if (in_collection_cc.has_init())
+      {
+         init_instructions.add(in_collection_cc.get_init());
+      }
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.Sort.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            lambda_cc.get_computation(),
+            in_collection_cc.get_address(),
+            result_as_address,
+            params
+         )
+      );
+
+      in_collection_cc.release_registers(init_instructions);
+   }
+}
diff --git a/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/SubListComputationCompiler.java b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/SubListComputationCompiler.java
new file mode 100644
index 0000000..929eddb
--- /dev/null
+++ b/src/core/src/tonkadur/wyrd/v1/compiler/fate/v1/computation/generic/SubListComputationCompiler.java
@@ -0,0 +1,84 @@
+package tonkadur.wyrd.v1.compiler.fate.v1.computation.generic;
+
+import tonkadur.fate.v1.lang.computation.generic.SubListComputation;
+
+import tonkadur.wyrd.v1.lang.Register;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.Compiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.TypeCompiler;
+import tonkadur.wyrd.v1.compiler.fate.v1.ComputationCompiler;
+
+import tonkadur.wyrd.v1.compiler.fate.v1.computation.GenericComputationCompiler;
+
+public class SubListComputationCompiler
+extends GenericComputationCompiler
+{
+   public static Class get_target_class ()
+   {
+      return SubListComputation.class;
+   }
+
+   public SubListComputationCompiler (final Compiler compiler)
+   {
+      super(compiler);
+   }
+
+   public void compile
+   (
+      final tonkadur.fate.v1.lang.computation.GenericComputation computation
+   )
+   throws Throwable
+   {
+      final SubListComputation source;
+      final ComputationCompiler address_compiler, start_compiler, end_compiler;
+      final Register result;
+
+      source = (SubListComputation) computation;
+
+      result = reserve(TypeCompiler.compile(compiler, source.get_type()));
+      result_as_address = result.get_address();
+      result_as_computation = result.get_value();
+
+      address_compiler = new ComputationCompiler(compiler);
+      start_compiler = new ComputationCompiler(compiler);
+      end_compiler = new ComputationCompiler(compiler);
+
+      source.get_collection().get_visited_by(address_compiler);
+
+      if (address_compiler.has_init())
+      {
+         init_instructions.add(address_compiler.get_init());
+      }
+
+      source.get_start_index().get_visited_by(start_compiler);
+
+      if (start_compiler.has_init())
+      {
+         init_instructions.add(start_compiler.get_init());
+      }
+
+      source.get_end_index().get_visited_by(end_compiler);
+
+      if (end_compiler.has_init())
+      {
+         init_instructions.add(end_compiler.get_init());
+      }
+
+      init_instructions.add
+      (
+         tonkadur.wyrd.v1.compiler.util.SubList.generate
+         (
+            compiler.registers(),
+            compiler.assembler(),
+            start_compiler.get_computation(),
+            end_compiler.get_computation(),
+            address_compiler.get_address(),
+            result_as_address
+         )
+      );
+
+      start_compiler.release_registers(init_instructions);
+      end_compiler.release_registers(init_instructions);
+      address_compiler.release_registers(init_instructions);
+   }
+}