snarkvm-console-types