Alloy DSL embedded in Ruby