Allows law definitions for testing.
Minor refactoring of jsm binary.

This allows compiling stuff without also having to use the flag --compile.