Seol mar théacs é seo: Recent trends in data type specification :