detect nativized variable types properly in asm coercions