Translate "Dataviewtypes as Linear Datatypes"