extended the +alloy+ dsl metho to allow opened modules to be specified directly
updated to respond to +__include+ and use it to open modules
fixed a bug with merging options
updated compiler to recognize PI sigs as those whose name starts with 'PI__'
small refactorings