Fix crash in ConvertToInitializer context action.
Fix a bug with type inference for nullables.

Simplify away the unnecessary portion of Mike's fix in df57e1d, and add an additional test for it.