Update semantics doc
Update broadcast test
Fix broadcast-related bug in widgetimpl.hpp