Explain why TcAxiomInstCo carries [TcCoercion], and not [TcType]