Make CONS, NIL, JUST and NOTHING constructors have uniform names

Make CONS, NIL, JUST and NOTHING constructors have uniform names #4855