preggy.assertions.types.file: Greatly simplified code