Build concrete types from native types and other concrete types.

• 从本地类型和其它具体类型构建具体类型。