Index: sizechecking/branches/macs/Proof.hs
===================================================================
--- sizechecking/branches/macs/Proof.hs	(revision 28)
+++ sizechecking/branches/macs/Proof.hs	(revision 29)
@@ -1,3 +1,3 @@
-{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE TypeFamilies, Rank2Types #-}
 
 module Proof where
@@ -11,11 +11,2 @@
 import Prelude (String, Int, ($), (.))
 
-
-data ZContext = ZContext {}
-data Constraint 
-newtype Z a = Z { unZ :: SizeExp }
-
-instance Size Q where
-instance Lambda Z where
-instance LOps Z where
-instance Exp Z where
Index: sizechecking/branches/macs/SizedFun.hs
===================================================================
--- sizechecking/branches/macs/SizedFun.hs	(revision 28)
+++ sizechecking/branches/macs/SizedFun.hs	(revision 29)
@@ -57,3 +57,2 @@
     type SizeExp Q = S SData
     bind name size exp = exp
-