The packages Abstraction::Expressions and Abstraction::Generalization contain fully documented and implemented interfaces.