changes to support sage_interface
Merge branch 'deptypes' of https://github.com/avigad/boole into deptypes