Defined all operation types, platter_of_operation, and helpers for building states