Remove deferring of branches in IfZero, as caller needs to do this
Can check that EmptyList IsEmpty
Can look at Head and Tail of lists
NewList helper for starting a list
Pretty up formatting a bit