(Resolved) * = Top

[cormac]

In various gradual type systems, sometimes all types are a subtype of *, and sometimes they are only compatible with *.

Our experience with micro.sml suggests that both approaches essentially define the same language, but having all types a subtype of * gives better performance, since the safety bit is set less often.

[cormac]

Agreed that *=Top at Sept 28 f2f.