Fixed a few bugs, added docs, and added `with-named-policy' macros and friends
Further exported symbols for policies