Slidebook TIFF: make type checking more rigorous