Bigraph prototype

Some changes have been made based on the notes.
Why do we need a typecast on this line?