More work on data types