Port lazy code from stdlib, no memo for now
Add unfold and update Main
Remove llist for now