Added cases syntax
Finalized PLATO.ml