Finn Lawler empty 1 (Rev #2, changes)

We want to define the tricategory? $BiProf$ of bicategories and profunctors; we need to know what the following things are:

1. 2-extranatural transformation
2. 2-end
3. free 2-cocompletion

and then we define $BiProf$ here.