implemented and documented the new typedesc binding rules