Add year to LICENSE
Support opts using -proper_opts( [ ... ] ) syntax
Support -proper_opts(...) anywhere in the source file
Cosmetics
Prop-specific opts may be lists as well