diff --git a/ast b/ast
index 2db1d35..e343546 160000
--- a/ast
+++ b/ast
@@ -1 +1 @@
-Subproject commit 2db1d35e340cfca6e2973d16e099a4e05bccc698
+Subproject commit e3435465f80a3a9b732a4c322f422f74ccad59f9
diff --git a/test/bitwiseOps.psi b/test/bitwiseOps.psi
index e3f2e06..e295b29 100644
--- a/test/bitwiseOps.psi
+++ b/test/bitwiseOps.psi
@@ -1,5 +1,5 @@
 
-def swap(a,b){
+def swap(a:ℤ,b:ℤ){
 	x:=a,y:=b;
     x xorb= y;
     y xorb= x;
diff --git a/test/divbyzero5.psi b/test/divbyzero5.psi
index eacf63c..2b945d1 100644
--- a/test/divbyzero5.psi
+++ b/test/divbyzero5.psi
@@ -1,6 +1,6 @@
 def main(){
     x := 3;
-    z := 0:ℚ; // TODO: this annotation should not be necessary
+    z := 0;
     repeat 2{
        y := uniformInt(-3,3);
        if flip(1/2){
diff --git a/util b/util
index 331334e..0d44034 160000
--- a/util
+++ b/util
@@ -1 +1 @@
-Subproject commit 331334ea63808e162fb6550a2743d8d46b43efd0
+Subproject commit 0d4403434fc885feba9db158e1de301b0d8e6d0c