If you wish to add a new type, you need to make it an instance of Streamable,
to add it to foldStreamableMaps, mapStreamableMaps, and optionnaly
to add an ext[Type], a [type] and a var[Type]
functions in Language.hs to make it easier to use.