add explicit return type annotations
Iso3#unlift, unlift1, unlift2 and Iso2#unlift
use unlift
Merge pull request #613 from xuwei-k/iso-unlift

Iso3#unlift, unlift1, unlift2 and Iso2#unlift