The two semilattices consisting of ATJ types and
Above we have introduced and verified two separate semilattices.
Both semilattices consist of the values in atj-maybe-typep,
but in the join semilattice
These two semilattices are not the semilattice halves of a lattice:
atj-maybe-typep does not form a lattice,
because