expandDefaultTerminal: substitute DEFAULT directly in nt definition