TypeType documentation