Draft: Make some free variable-computing functions INLINE.

It significantly decreases allocation in some benchmarks, and (it seems) increases in none.

Also clean up the FV code. It seems the η-expansion is not necessary everywhere, if the functions are marked INLINE.