Added some OPTIMIZE comments about using List.unfold and List.unfoldBack from ExtCore.