promote #defprotocol/#extend