type annotation
用例：
are used are class instance creation expressions (new), casts, implements clauses, and throws clauses
和普通的annotation区分开
type annotation 能做的更多。
pluggable type checkers（可插拔的 type checkers）
自定义编写
type-checking modules
（基于 Java Type System 编写）
