Fix the typing of ternary expressions.

Summary: We should not unify the branches directly, but instead wrap
them in a Tunresolved first. This is similar to what we do in
Typing_lenv.intersect.

Reviewed By: @jwatzman

Differential Revision: D1699380