An Imperative Extension to Alloy