From static to dynamic abstract data-types: An institution transformation