Reject unrenderable write licenses and exact-match policy typos before execution. Closes #19 Closes #20