Working on exprs: fibo compiles, but errors