Some solutions to Chapter5 on lazy lists with tests