What is a high level type system anyway ? Annotations to help feed the intellisense engine, to warn about miss-spelled variables, make sure you don't use an app

What is a high level type system anyway ? Annotations to help feed the intellisense engine, to warn about miss-spelled variables, make sure you don't use an apple where there should be a banana, Or are types just objects with limited states !?