only a small remark about the diff utility (the one which would test that two representations have the same semantics 'up to isomorphism')... there is again a decidability problem for little tiny funny recursive definitions, right ? :) so a perfect diff won't really exist... how would you plan to go around that ? Codrin