Coloring, a versatile technique for implementing object-oriented languages