interact. Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf