Option composition and lifting