Fix on conditional expr

  - Pushing contextual type down parts of the conditional.
Fixing errror in Joining envs in LQ