[pubby]

IIRC, semilattices in type systems usually means subtypes, and lattices in type systems usually means subtypes plus a bottom type.

[markvangulik]

Yes, that agrees with the shape of Avail’s type hierarchy. There’s a top type and a bottom type, and the latter has no instances.