Finished DynamicBinding.c++ annotations