annotate known value types from dex instructions