Type traits: Type checking typedef fix.