[sumnole]

> Think inets as like sort of lambda calculus runtime: > lambdas -> inets -> reduced inets -> lambdas

a bit like Tree Calculus but with nets.