begin section on DT-specific resolution rules
finish up everything but types table