Some changes in Option and new Chapter5 added for laziness