Adopting a uniform naming convention for type constructors in bindings.