Switching to *None* is not ideal, because *None* is already used in
temp_var_type to represent no value.

Hence, this change introduces an "optional" object wrapper to loopy
and uses it to represent the absence of a temp_var_type in an
assignment instruction.