Replace liftState with `zoom` from lens.

Thanks to @shachaf for the suggestion.
Definitions for two-phase module parsing.