Add "final" mypy annotations
Newer versions of mypy (0.640+) have added support for annotating things as "final": https://mypy.readthedocs.io/en/latest/final_attrs.html
This will cause mypy to produce an error if anything ever changes the value of the annotated items. This could probably be useful in a decent number of places in the Tildes code.