[Added a Size instance for Type
tobias@goedderz.info**20150326091807
 Ignore-this: d7dad3b1c30bd379d860d0adbc6f6bcb
] hunk ./src/Syntax/Type.hs 53
-import Syntax.Class.Term (Term(..), getVarNames)
+import Syntax.Class.Term (Term(..), getVarNames, Size(sizeS))
hunk ./src/Syntax/Type.hs 223
+instance Size Type where
+    sizeS (VarT _) = (+1)
+    sizeS (ConT _) = (+1)
+    sizeS (AppT l r) = sizeS l . sizeS r
+    sizeS (ForallT c t) = sizeS t
+