Treating `e1 || e2` as conditional expr

  - e1 || e2 --->

    let _tmp = e1 in
    _tmp ? _tmp : e2
Merge pull request #79 from UCSD-PL/fix_lor

Treating `e1 || e2` as a conditional expression