dl32Typing.h redesigned with policies