Bigraph prototype

Some changes have been made based on the notes.