----------------------------------------
|context> => |context: memoizing Fibonacci>

supported-ops |0> => |op: fib>
fib |0> => |0>

supported-ops |1> => |op: fib>
fib |1> => |1>

supported-ops |*> => |op: n-1> + |op: n-2> + |op: fib> + |op: fib-ratio>
n-1 |*> #=> arithmetic(|_self>,|->,|1>)
n-2 |*> #=> arithmetic(|_self>,|->,|2>)
fib |*> !=> arithmetic( fib n-1 |_self>, |+>, fib n-2 |_self>)
fib-ratio |*> !=> arithmetic( fib |_self> , |/>, fib n-1 |_self> )
----------------------------------------