Update Sigmas.idr, state data removed to Kets.idr