Title: Recent Trends in Data Type Specification