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