step #4; locals now use real types
stub out calli, can't really make progress until disassembling types is supported
infrastructure for infering types
Calli won't be supported in initial release
infering parameters for ldlen
ldelem_ref, stelem_ref, and fixes around TraceOperationResultUsage()
load and store indirect
repeat inferencing if necessary