expand and clarify example
add Check method to check a policy for errors and compact its structure