Text this: A formal library of set relations and its application to synchronous languages