Update data.priority-map dependency
Don't document ast-ops
Better internal pprinting for DottedPretype