“Furthermore, compilers and integrated development environments (IDEs) can make use of type annotations to provide better context help.”