TypedThinker: Typed Thinking Improves Large Language Model Reasoning