Add Alloy to Framework section