inference: correction to ifelse Conditional lattice
Rename typeassert_type_instance to tjoin (aka typeintersect). Also,
since the ifelse value here might not be in the regular type lattice, we
need to use the extended lattice for this evaluation.
(cherry picked from commit 95d03f9a4c7b062016090d833a29b7824a152ab8)
