polish B.3, formerly called B.2

fix the example derivation so it derives the goodness of the context used
remove the assumption that every derivation rule includes a premise the Gamma is well-formed
       and add the premise to the few rules that actually need it
fix the Sigma-comp rule so it states an equality
make sure sentences begin with words