Move most of the nope prelude into a separate module