updates related the new Alloy specification