Type structure analysis