Fixes type annotation for Stream#init
Evaluates @tail just once in map
Simplify Nothing definition.