Edits, sequences, type extensions, classes