An embedding of Alloy in Ruby