diff --git a/docs/getting-started/hello-world/scala-project/project.scala b/docs/getting-started/hello-world/scala-project/project.scala
index a9f6fe76e..67f2847ce 100644
--- a/docs/getting-started/hello-world/scala-project/project.scala
+++ b/docs/getting-started/hello-world/scala-project/project.scala
@@ -1,4 +1,3 @@
-//> using scala 3.7.4
-//> using dep io.github.dfianthdl::dfhdl::0.16.0
-//> using plugin io.github.dfianthdl:::dfhdl-plugin:0.16.0
-//> using option -deprecation -language:implicitConversions
+//> using scala 3.8.1
+//> using dep io.github.dfianthdl::dfhdl::0.17.0
+//> using plugin io.github.dfianthdl:::dfhdl-plugin:0.17.0
diff --git a/docs/getting-started/hello-world/scala-single-file/Counter8.scala b/docs/getting-started/hello-world/scala-single-file/Counter8.scala
index 3513c0d86..0b152a625 100644
--- a/docs/getting-started/hello-world/scala-single-file/Counter8.scala
+++ b/docs/getting-started/hello-world/scala-single-file/Counter8.scala
@@ -1,7 +1,6 @@
-//> using scala 3.7.4
-//> using dep io.github.dfianthdl::dfhdl::0.16.0
-//> using plugin io.github.dfianthdl:::dfhdl-plugin:0.16.0
-//> using option -deprecation -language:implicitConversions
+//> using scala 3.8.1
+//> using dep io.github.dfianthdl::dfhdl::0.17.0
+//> using plugin io.github.dfianthdl:::dfhdl-plugin:0.17.0
 
 import dfhdl.* //import all the DFHDL goodness
 
diff --git a/docs/getting-started/initial-setup/index.md b/docs/getting-started/initial-setup/index.md
index f19ab69d9..acc854783 100755
--- a/docs/getting-started/initial-setup/index.md
+++ b/docs/getting-started/initial-setup/index.md
@@ -1,12 +1,12 @@
 # Initial Setup {#getting-started}
 
-DFHDL is a domain specific language (DSL) library written in the [Scala programming language](https://www.scala-lang.org){target="_blank"} (Scala 3.7.4), and as such it lets you utilize the entire Scala ecosystem, including IDEs, various tools, and other libraries. 
+DFHDL is a domain specific language (DSL) library written in the [Scala programming language](https://www.scala-lang.org){target="_blank"} (Scala 3.8.1), and as such it lets you utilize the entire Scala ecosystem, including IDEs, various tools, and other libraries. 
 
 Is your system already fit for Scala development? [Jump to the DFHDL hello-world section][hello-world]
 
 ## Installing Scala and Other Dependencies
 
-We recommend directly installing Scala 3.7.4 (no need to install either [Coursier](https://get-coursier.io/){target="_blank"}, [Scala CLI](https://scala-cli.virtuslab.org/){target="_blank"}, or [sbt](https://www.scala-sbt.org/){target="_blank"}):
+We recommend directly installing Scala 3.8.1 (no need to install either [Coursier](https://get-coursier.io/){target="_blank"}, [Scala CLI](https://scala-cli.virtuslab.org/){target="_blank"}, or [sbt](https://www.scala-sbt.org/){target="_blank"}):
 
 <div class="grid cards" markdown>
 
@@ -18,7 +18,7 @@ We recommend directly installing Scala 3.7.4 (no need to install either [Coursie
     Run the following in Windows command or powershell:
 
     ```{.cmd .copy linenums="0"}
-    choco install scala --version=3.7.4 
+    choco install scala --version=3.8.1 
     ```
     ///
 
@@ -30,7 +30,7 @@ We recommend directly installing Scala 3.7.4 (no need to install either [Coursie
     Run the following in your shell:
 
     ```{.sh-session .copy linenums="0"}
-    sdk install scala 3.7.4 
+    sdk install scala 3.8.1 
     ```
     ///
 
diff --git a/docs/javascripts/scastie.js b/docs/javascripts/scastie.js
index b1fcda948..772d64b0c 100755
--- a/docs/javascripts/scastie.js
+++ b/docs/javascripts/scastie.js
@@ -1,12 +1,11 @@
-let dfhdlVersion = "0.16.0";
-let scalaVersion = "3.7.4";
+let dfhdlVersion = "0.17.0";
+let scalaVersion = "3.8.1";
 
 let sbtConfig = `
 val dfhdlVersion = "${dfhdlVersion}"
 scalacOptions ++= Seq(
   "-deprecation",
   "-feature",
-  "-language:implicitConversions",
   "-language:strictEquality",
 )
 addCompilerPlugin(
diff --git a/docs/user-guide/conditionals/index.md b/docs/user-guide/conditionals/index.md
index ec464a040..86c6f9840 100644
--- a/docs/user-guide/conditionals/index.md
+++ b/docs/user-guide/conditionals/index.md
@@ -112,10 +112,10 @@ y match
     // Use part1 and part2 bits
 
 // Store extracted bits in variables
-val h"DEAD${extracted: B[32]}BEEF" = input: @unchecked
+val h"DEAD${extracted: B[32]}BEEF" = input.runtimeChecked
 
 // Extract multiple sections into variables
-val h"DE${first: B[16]}ADBE${second: B[16]}EF" = input: @unchecked
+val h"DE${first: B[16]}ADBE${second: B[16]}EF" = input.runtimeChecked
 
 // Using guards with extracted bit fields
 y match