encrypt.fst verifies; tweaked encoding of binders ... flipping polarities
re-enabled top-level effects; be warned by providing --warn_top_level_effects