Integer addition now compiles
First working examples of integer module done
Finished mixed integer layer for ECOS to support integers