----------------------------------------
|context> => |context: next fib play>

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

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

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