Simplify Nil semantics; never means () now