Better length assertion hoisting

* src/pf/expand.lua: Eta-reduce consequents to expose information from
  "if" tests.