This is the first time I've read that LaTeX's problem was a lack of types.