improving alloy compiler. issue #18.