Fixed bug in checking for existence of key in Dict.
getindex cannot call multplication, due to vectorization changing size.
Changed Constraint type to be wrapper around AffineExpr
Added support for various uses of : in indexing.
Rename test to tests, added examples folder with control example.