Bigraph prototype

Some changes have been made based on the notes.
I don't think we need check_long, do we?