Added beginning of Alloy Model
Continued To Build Solving Engine