Title: Towards the data types needed in a system generator