fixed typos
Merge branch 'deptypes' of https://github.com/avigad/boole into deptypes