Method join

chapter24/src/main/java/com/seaofnodes/simple/type/Type.java:313–316

(Type t)

    // Our lattice is defined with a MEET and a DUAL.
    // JOIN is dual of meet of both duals.
    public final Type join(Type t) {
        if( this==t ) return this;
        return dual().meet(t.dual()).dual();
    }

    // True if this "isa" t; e.g. 17 isa TypeInteger.BOT
    // Applies for pessimistic case