Alloy Support

[zhanghongce]

Previously, we wrote all our constraints in Alloy, however, due to speed issue, I want to shift to ocelot. I found that the preliminary Alloy-style support in lib/alloy.rkt very useful. But I wonder if it is possible to support more Alloy language construct like extends, some, set and etc in the future.

sig A extends B { f1: set C, f2: some C }

I tried to understand the alloy.rkt, but it is a little bit hard. If there is currently no such development plan, I will try to write my own compiler (outside racket).

Thank you!