Added template <...> operator() (builtin<T<X> > ... ) to
function class
	modified:   lambda-interpreter/semantics-test.cpp
	modified:   semantics-test.cpp

	Added struct builtin<as_constant<X, F> >
	modified:   ../syntax/builtin/builtin.hpp
	modified:   environment.hpp
	renamed:    semantics-test.cpp -> global-example.cpp
	modified:   semantics-test.cpp
	modified:   semantics.hpp
	modified:   ../syntax/de-bruijn.hpp