Massive refactoring, moved everything to Logic.NL and merged with SubstructuralLogicsInAgda.
Did a massive refactoring, moving original code into NL, creating IL/LL/LG.