remove ExtPoint-equal?
simplify define-ExtPoint