updated .gitignore
Added primitives for a constraint solver.

Solver, Domain, Variable, Constraint