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,

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.