Bounded Join Semi Lattice

[gr-im]

on top of #148

A Bounded Join Semi Lattice capture the notion of a set with "least upper bound" with a "bottom"

Operation

• Join Semi Lattice with
• val bottom: t

Laws:

• laws of Join Semi Lattice
• Unitary: join a bottom = a

Suggested incarnation:

• Bool