Merge pull request #110 from khinsen/integer_division

Implement integer division operator
updating the nested mangles
Merge branch 'master' into work