ignore some boring files
pythagoras example: type synonyms to make signatures a bit nicer