Make some operation non-strict in the size of the input, this allowing infinite lists.
Add notes, links, and cites to nested types Braun trees
rename pushFrontB to pushFront for consistency
Change comment: only fromList is actually lazier than Okasaki's version.