Separate

Merging back separate into master.
Separate was just a try: "can we do separated creation of tlambda and bigraph, and then do the whole analysis ?"

It seems like it is a success, plus a lot of features were added on that branch, so it's time to merge.