ADTs and pattern matching

[gfngfn]

data Maybe 'a =
  | Nothing
  | Just 'a

let unwrap {type 'a} (d : 'a) (v : Maybe 'a) =
  case v of
  | Nothing -> d
  | Just x -> x
  end

This will additionally require merging Expr and TypeExpr for parsing.