proper :as support for `unifier`

We now extract all ::lvar meta properties from terms in `unifier`,
`unifier*` now expects to get a map of lvar symbols to lvars in the
:lvars property of the opts argument. This could be further improved,
:lvars should be a set.