Show relevant term in type error