More work on datatypes