immutable policy structure which is compiled before application
compile lists. give semantic meaning to NONE. rename Finalize => Compile
remove initial implementation
some documentation about special treatment of NONE
rename Make() to New()