やっぱAlloyって便利なんだけど、なぜかJavaみたいな書き方を強制される点が惜しい