Prove nog_alist and lots of helper lemmata, started work on nog_mnor'.