added stuff from typed arithmetic chapter
Merge branch 'master' of https://github.com/jcsmnt0/TAPL