next pass done

 lightly edited intro, added some stuff about n-types and UA, polished
the example a bit.