Added integers, arithmetic constraints, pretty printing models,
resolution of 'this'