adds model generation for strings, and a hacked way in arith engine for models