modified:   lambda-core/indexed-term.hpp
	modified:   lambda-core/semantics-example.cpp
	modified:   lambda-core/semantics.hpp
	renamed:    lambda-core/context.hpp -> lambda-interpreter/context.hpp
	new file:   lambda-interpreter/environment-example.cpp
	new file:   lambda-interpreter/environment-example.hpp
	new file:   lambda-interpreter/environment.hpp
	modified:   monad/GNUmakefile
	new file:   monad/procedure-example.cpp
	renamed:    monad/seq.hpp -> monad/procedure.hpp
	modified:   monad/process-example.cpp
	modified:   monad/process.hpp
	deleted:    monad/seq-example.cpp