More precise type classification