Expanded the syntax for default laws to properly allow "-c" where c is boolean for languages that allow - to stand for ~.