Add rule forbidding type holes

[rjdellecese]

Type holes (https://gcanti.github.io/fp-ts/modules/function.ts.html#hole) are useful for developing, but should basically never exist in production code. A no-holes or no-type-holes rule could help ensure that doesn't happen by accident!