equal types compares idents, not strings