Question on README

[olleolleolle]

Hi!

I came by after reading Rudi Grinberg's blog.

Is this

type%re t1 = [%re? Star `Foo, t2]
and t2 = [%re? (`Bar | `Baz | t2)]

meant to have t1 at the end? (To be "mutually dependent", I mean.)

type%re t1 = [%re? Star `Foo, t2]
and t2 = [%re? (`Bar | `Baz | t1)]

Thanks for a super-interesting library.