Update Alloy to 1.4.0-alpha3