Fixed bug with Integer::+(Integer); Code cleaning