🕸️ Interaction NetsSpecificinteraction nets, optimal reduction, HVM, symmetric interaction combinators