Recent Trends in Data Type Specification