fixed error reporting for mismatched traits
fixed error reporting for mismatched traits

mismatched traits were previously referred to as types

aidancully/rust,aidancully/rust,graydon/rust,aidancully/rust,aidancully/rust,graydon/rust,graydon/rust,graydon/rust,aidancully/rust,graydon/rust,aidancully/rust,graydon/rust