test(tests/lean/run): define below_rec_on (aka brec_on) for vectors
test(tests/lean/run): fibonacci using below_rec_on (aka brec_on)