Comments only: explain checkAxInstCo in OptCoercion