add some new types in boost