Function Move-Not-Inwards

Part of:

package cl-perec
( move-not-inwards < p > )
Given P, return ~P, but with the negation moved as far in as possible.