core: fix ArgType.equals