Operational equivalences for untyped and polymorphic object calculi