modified:   GNUmakefile
	modified:   abstraction.hpp
	modified:   application.hpp
	modified:   de-bruijn.hpp
	modified:   notation-example.cpp
	renamed:    church-notation.hpp -> notation.hpp
	modified:   term.hpp
	modified:   variable.hpp
	modified:   ../../ml-core/machine/seq.hpp

	Major changes. Renamed some clases. Added visitor pattern for
printing.