For https://github.com/facebook/pfff/issues/81 basic type checking of +

Thx to wendelb for the idea!
* project.el: misc