add link to Jimmy Lin Monoidify! paper