added type_bind.hpp: untested.