Using "lightweight static checking" or ...

“pluggable type system extension” instead of “static program analysis”