Fix lightclient typedefs

The new syntax for parametric types has enabled us to catch the error
here: the target type started with a lowercase letter, and so was
accidentally a variable.

Author: Shon Feder

examples/cosmos/lightclient/typedefs.qnt

@@ -13,8 +13,8 @@ module typedefs {
         Commits: Set[str]
     }
 
-    type Blockchain = int -> blockHeader
-    type LightBlockMap = int -> lightBlock
+    type Blockchain = int -> BlockHeader
+    type LightBlockMap = int -> LightBlock
     type LightBlockStatus = int -> str    
 
-}
+}