allow `@:analyzer(no_const_propagation) on types and check it upon calls
never bind Void vars
add `alloc_unbound_var`
relay PosInfos in TestJson