[DRAFT] Infer variable type using type information from SBL

[x87]

$var = 1.0 // $var is now Float
$var2 = 2.0 // $var2 is now Float

$var += $var2 // does not require explicit opcode or type declaration

Note: only use this within one basic block, i.e. a series of commands between branch instructions.