Using type families to restrict the LaTeXC instance 'LaTeXT m a' to 'LaTeXT m ()'. This avoids the old automatic inclusion of bottoms by all LaTeXC functions when used under LaTeXT.
Updated TikZ example.