Allow fix-intro on non-recursive function bindings.