types&provides: final fixups

still needs to be moved over to brainsware, though ;)
let's get started with an outline
more headers