Index: src/Parser/TypeData.cpp
===================================================================
--- src/Parser/TypeData.cpp	(revision e86735ba792af3d1f8cd52cf612e489ab650c080)
+++ src/Parser/TypeData.cpp	(revision ef05cf0302e9d1379cbd37d9453c404cb7a437b8)
@@ -737,6 +737,4 @@
 			location,
 			"?=?",
-			{}, // forall
-			{}, // assertions
 			{
 				new ast::ObjectDecl(
@@ -779,6 +777,4 @@
 			location,
 			"?{}",
-			{}, // forall
-			{}, // assertions
 			{
 				new ast::ObjectDecl(
@@ -802,6 +798,4 @@
 			location,
 			"?{}",
-			{}, // forall
-			{}, // assertions
 			{
 				new ast::ObjectDecl(
@@ -834,6 +828,4 @@
 			location,
 			"^?{}",
-			{}, // forall
-			{}, // assertions
 			{
 				new ast::ObjectDecl(
@@ -882,6 +874,4 @@
 			location,
 			"?=?",
-			{}, // forall
-			{}, // assertions
 			{
 				new ast::ObjectDecl(
@@ -924,6 +914,4 @@
 			location,
 			"?{}",
-			{}, // forall
-			{}, // assertions
 			{
 				new ast::ObjectDecl(
@@ -948,6 +936,4 @@
 			location,
 			"?{}",
-			{}, // forall
-			{}, // assertions
 			{
 				new ast::ObjectDecl(
@@ -981,6 +967,4 @@
 			location,
 			"^?{}",
-			{}, // forall
-			{}, // assertions
 			{
 				new ast::ObjectDecl(