Changed cons name from AllocOptList to alloc-opt-list.