explicitly mention the Dynamic vs. var inference case (see https://github.com/HaxeFoundation/haxe/issues/3297)
document ECheckType as type check
export