Describir: Parametric polymorphism in an object-oriented distributed computing programming environment