Defining meet and join data and lattice instances.

We're finally using the lattice instances, though yet crudely.
I also defined meet and join constructors for Relev and Applic
just like the original code, though some changes are still due
to make this actually work.

On the upside, it no longer crashes in the basic twice example
described yesterday.