renamed:    ../../lambda-interpreter/context.hpp -> ../lambda-interpreter/context.hpp
	renamed:    ../../lambda-interpreter/environment-example.cpp -> ../lambda-interpreter/environment-example.cpp
	renamed:    ../../lambda-interpreter/environment-example.hpp -> ../lambda-interpreter/environment-example.hpp
	renamed:    ../../lambda-interpreter/environment.hpp -> ../lambda-interpreter/environment.hpp
	renamed:    ../semantics-example.cpp -> ../sema/semantics-example.cpp
	renamed:    ../semantics.hpp -> ../sema/semantics.hpp
	renamed:    ../abstraction.hpp -> abstraction.hpp
	renamed:    ../application.hpp -> application.hpp
	renamed:    ../binder.hpp -> binder.hpp
	new file:   de-bruijn.hpp
	renamed:    ../index.hpp -> index.hpp
	renamed:    ../indexed-term.hpp -> indexed-term.hpp
	renamed:    ../named-variable.hpp -> named-variable.hpp
	new file:   structural-example
	new file:   structural-example.cpp
	new file:   structural-example.o
	new file:   structural-ext
	renamed:    ../structural-ext.hpp -> structural-ext.hpp
	renamed:    ../term-cons.hpp -> term-cons.hpp
	renamed:    ../term.cpp -> term.cpp
	renamed:    ../term.hpp -> term.hpp
	renamed:    ../variable.hpp -> variable.hpp
	deleted:    syntax/binder.hpp
	deleted:    syntax/de-bruijn.hpp
	deleted:    syntax/index.hpp
	deleted:    syntax/structural-example
	deleted:    syntax/structural-example.o
	new file:   GNUmakefile
	new file:   church-notation.hpp
	new file:   notation-example.cpp
	deleted:    term.cpp
	modified:   ../printer.hpp
	modified:   abstraction.hpp
	modified:   application.hpp
	modified:   notation-example.cpp
	modified:   term.hpp
	modified:   variable.hpp
	Added De Bruijn index.
	renamed:    indexed-term.hpp -> de-bruijn.hpp
	modified:   GNUmakefile
	modified:   church-notation.hpp
	modified:   de-bruijn.hpp