It's not a non standard definition of what a type system is. If anything, yours is the non standard one that is more commonly called type checking.

Either way, you've devolved this into condescension and I refuse to engage further with such petulant discord.