Fix to not_in!
Locally nameless definitions of System F.