----------------------------------------
|context> => |context: a 1D line>

supported-ops |row> => |op: >
 |row> => 0.0|x: 0> + 0.0|x: 1> + 0.0|x: 2> + 0.0|x: 3> + 0.0|x: 4> + 0.0|x: 5> + 0.0|x: 6> + 0.0|x: 7> + 0.0|x: 8> + 0.0|x: 9> + 100.0|x: 10> + 0.0|x: 11> + 0.0|x: 12> + 0.0|x: 13> + 0.0|x: 14> + 0.0|x: 15> + 0.0|x: 16> + 0.0|x: 17> + 0.0|x: 18> + 0.0|x: 19> + 0.0|x: 20> + 0.0|x: 21>

supported-ops |x: 0> => |op: right>
right |x: 0> => |x: 1>

supported-ops |x: 1> => |op: left> + |op: right>
left |x: 1> => |x: 0>
right |x: 1> => |x: 2>

supported-ops |x: 2> => |op: left> + |op: right>
left |x: 2> => |x: 1>
right |x: 2> => |x: 3>

supported-ops |x: 3> => |op: left> + |op: right>
left |x: 3> => |x: 2>
right |x: 3> => |x: 4>

supported-ops |x: 4> => |op: left> + |op: right>
left |x: 4> => |x: 3>
right |x: 4> => |x: 5>

supported-ops |x: 5> => |op: left> + |op: right>
left |x: 5> => |x: 4>
right |x: 5> => |x: 6>

supported-ops |x: 6> => |op: left> + |op: right>
left |x: 6> => |x: 5>
right |x: 6> => |x: 7>

supported-ops |x: 7> => |op: left> + |op: right>
left |x: 7> => |x: 6>
right |x: 7> => |x: 8>

supported-ops |x: 8> => |op: left> + |op: right>
left |x: 8> => |x: 7>
right |x: 8> => |x: 9>

supported-ops |x: 9> => |op: left> + |op: right>
left |x: 9> => |x: 8>
right |x: 9> => |x: 10>

supported-ops |x: 10> => |op: left> + |op: right>
left |x: 10> => |x: 9>
right |x: 10> => |x: 11>

supported-ops |x: 11> => |op: left> + |op: right>
left |x: 11> => |x: 10>
right |x: 11> => |x: 12>

supported-ops |x: 12> => |op: left> + |op: right>
left |x: 12> => |x: 11>
right |x: 12> => |x: 13>

supported-ops |x: 13> => |op: left> + |op: right>
left |x: 13> => |x: 12>
right |x: 13> => |x: 14>

supported-ops |x: 14> => |op: left> + |op: right>
left |x: 14> => |x: 13>
right |x: 14> => |x: 15>

supported-ops |x: 15> => |op: left> + |op: right>
left |x: 15> => |x: 14>
right |x: 15> => |x: 16>

supported-ops |x: 16> => |op: left> + |op: right>
left |x: 16> => |x: 15>
right |x: 16> => |x: 17>

supported-ops |x: 17> => |op: left> + |op: right>
left |x: 17> => |x: 16>
right |x: 17> => |x: 18>

supported-ops |x: 18> => |op: left> + |op: right>
left |x: 18> => |x: 17>
right |x: 18> => |x: 19>

supported-ops |x: 19> => |op: left> + |op: right>
left |x: 19> => |x: 18>
right |x: 19> => |x: 20>

supported-ops |x: 20> => |op: left> + |op: right>
left |x: 20> => |x: 19>
right |x: 20> => |x: 21>

supported-ops |x: 21> => |op: left>
left |x: 21> => |x: 20>

supported-ops |*> => |op: nbr> + |op: normed-nbr> + |op: pick-nbr>
nbr |*> #=> left |_self> + right |_self>
normed-nbr |*> #=> normalize( left |_self> + right |_self> )
pick-nbr |*> #=> pick-elt (left |_self> + right |_self> )

supported-ops |list> => |op: >
 |list> => |x: 0> + |x: 1> + |x: 2> + |x: 3> + |x: 4> + |x: 5> + |x: 6> + |x: 7> + |x: 8> + |x: 9> + |x: 10> + |x: 11> + |x: 12> + |x: 13> + |x: 14> + |x: 15> + |x: 16> + |x: 17> + |x: 18> + |x: 19> + |x: 20> + |x: 21>
----------------------------------------