Change signatures of implements() and classImplements()