[PATCH 3/3] Put nand, nor, nany and nall in Prelude