Add a size function to the store
Correctly handle cas
Rewrite Pcesk.eval in an iterative way to avoid stack overflows (doesn't OCaml handles tail-recursion?)