Fixed fib by taking out the tight upper bound propagator. Hacked type-extract to
print out tight bounds for functions that it returns.