Embedded examples in docs don't show their type signatures

[pchiusano]

I think what's happening is that the type signatures are being discarded by the compiler during compilation. If we could retain that information so that decompilation shows the signatures that originally existed

Example is a doc like:

foo = {{

```
x : Nat
x = 10
x + 1
```
}}

When rendered it doesn't show the signature.

Internally, this is parsed as the lambda

_ -> let
  x : Nat
  x = 10
  x + 1