Decide between cast and #type: ignore across the code base

[amn]

Both can be used for achieving the same result, and both have their own pros and cons, but there's no reason to use one in e.g. syntax.parsing.Function and another in syntax.parsing.Declaration. It's about consistency.