Simplified alloc-opt-list(list) to list
Removed AllocOptList(list) to list.
Changed cons name from AllocOptList to alloc-opt-list.