add optimized disjoint & injective operations, untested
comment typo fix
stick to 80 column limit
fix comments
be more careful about laziness
update exports, fix comments, simplify fromFiniteSet