Improved is_callable trait
Bind simplifications and refactions. Added tests from Boost

See #855