Rename some redex files
Move build-nt-property to separate file.
Cleanup preprocess-lang
Smarter production sort in redex nts
Add new test for redex production sort.

Running on the previous version caused unbounded recursion.