Updates for Alloy 1.0 release