More work on NEXson transformation (ongoing)

This commit is not really usable as-is! It's just a checkpoint, so I can
return to code that's being aggressively refactored.