improve Rand[Boolean] and add argtopk for #20 and #26