Add comments to UnfoldNum.hs
Implement writeBoolCS and fix writeNullCS