Improve pi-calculus implementation #59
Description
The simple term structure we are currently using is not very efficient, both in terms of memory and execution. Channels, substitution and fresh naming are particularly inefficient.
We should consider a better structure with some indexing and fast substitution.