Upgrade upgraded parser

[wires]

Following up from issue #1, instead of s-expressions, we might want to work with something more haskell like; but this needs to be worked out

bit : type
bit = 1 + 1

maybe : type -> type
maybe a = 1 + a

list : type -> type
list a = 1 + (a * list a)

you want to build more complicated records and then have to name the fields

transaction : type
transaction
   = hash : Hash
   * height : VarInt
   * transition : VarInt
   * ...