There's been a lot of discussion about OOP and Dynamic types on the Clean list. I'm afraid I have not read it all. It would be a great service to the community if someone felt moved to write up a summary of the issues, conclusions, and open questions. I would certainly welcome such a summary. Simon