random: generate random coins

how to declare a user type to be of random type