Typeable instance for LaTeX is now automatically derived.