Fix eta-expansion, list reachable names.