Port: DocInverter, Invert related types