Hannes Saffrich, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos: Artifact for the Paper "Borrowing From Session Types". Zenodo 2025