redex: record nt syntax info for extended language
redex: differentiate nts from different langauges
redex: keep syntax info for nt aliases