snarkvm-console-types-boolean