[nem-en] recursive types

[Lukasz Kaiser]

Hi.

>        | _ => ????

I think it should be | _ => ().

Also to ignore the computed value you should use "ignore", so
ignore (foo (5))
has type void although foo (5) might be anything.

Hope this helps :).

- lk