SMS dit: A data definition facility for programming languages /