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