STL rework

- fixed lots of bugs
- overlay libraries work correctly and reliably
- the STL is an overlay library
- examples updated

src/representations/interpreted.rs

@@ -219,3 +219,9 @@ impl<T: Into<Literal>> From<T> for Clause {
     Self::P(Primitive::Literal(value.into()))
   }
 }
+
+impl<T: Into<Clause>> From<T> for ExprInst {
+  fn from(value: T) -> Self {
+    value.into().wrap()
+  }
+}