Added another small example.
Policies now get origin sets.
Adopted policies are now printed as if asserted.
Was producing some already existing messages.
More thuroughly sanitizing messages.
Many various fixes.