Types within FLOW