Uniform lattice operations #24
Description
A SchemeLattice is a Lattice that also supports all Scheme operations, which are basically the same as all those found in IntLattice, StringLattice, … combined. It might be possible therefore also say that a SchemeLattice[L,…] extends not only Lattice[L], but also IntLattice[L], StringLattice[L] and so on. Doing so might make the usage of a separate of collection of SchemeOps redundant (simplifying and unifying those concepts in the overall design and removing some boilerplate code) and might also help dealing with failures (cf. #21) in a more uniform way.