Notation for disjointness: replace ⊥ with ##, so that ⊥ can be used for bottom.

As discussed in #3 (closed).

I completely removed support for the old notation. Should I provide a deprecated support for maintaining compatibility ?