Information flow data types. Not working yet but commited for co-working