The automatic lifting translation function, still with dummy types, but works everywhere in the LF example.

(binary:application/pdf)