Initial commit with Alloy project