Addressed term rewriting systems: application to a typed object calculus