Working group report How can we best define functional types and integrate state variables and properties in time and space