Fix Rule._lines and Rule.file typing

[szymonmaszke]

Currently the typing is optional (due to basedpyright checks), which, while factually correct, creates more
linting errors down the line when using these attributes in actual rules.

These should be forced to be non-optional.

See this line and this line, possibly change all of these attributes to non-optional.