More work on datatypes.