getting closer, need to turn the list of gl initDecls into a TermN