简述类型论与特质论关系。