[backlava]

If the system you are building makes sense, there is probably a reasonable type system that shows it to be well typed.

[Jare]

Yeah, "makes sense" and "reasonable" would be criteria involved in the debated I mentioned.